让成为满足所有可能性的集合假设 ,并让成为满足所有可能性的集合假设 .然后是一个嵌套的假设 若(iff) ,其中表示真子集.
更多需要尝试的事情:
埃里克·魏斯坦(Eric W.Weisstein)。“嵌套假设。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/NestedHypothesis.html