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.