合适的子集一套的,表示,是一个子集严格包含在因此必须排除至少一个. The空集合因此是一个任意的适当子集非空集.
例如，考虑一个设置 .然后和是适当的子集，而和不是。
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“正确子集”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/PropertySubset.html
. The
