Let S be the set of all possibilities that satisfy hypothesis H, and let S' be the set of all possibilities that satisfy hypothesis H'. Then H' is a nested hypothesis within H iff S' subset S, where subset denotes the proper subset.