| 
 | 
 | 
Let 
 be the set of all possibilities that satisfy Hypothesis 
, and let 
 be the set of all possibilities that
satisfy Hypothesis 
.  Then 
 is a nested hypothesis within 
 Iff 
, where 
denotes the Proper Subset.
See also Log Likelihood Procedure