いま一度、集合の包含順序を考えると、ある（無限集合かもしれない）集合は、それに1要素のみを加えただけの別の集合よりもそれだけで厳密に小さくなる。
再次考虑集合的包含次序，如果一个集合包含的元素比另一个(可能无限的)集合只少一个，从严格意义上说这是这个集合比另一个集合小，但这很难说这个集合比另一个集合更简单。