例えば、ある冪集合上に部分集合の包含の自然な順序を与えたとき、無限集合であるような任意のベキ集合の要素は、その任意の有限の部分集合よりも「有用」である。
例如，在某个幂集上自然的子集包含次序中，任何无限元素(也是集合)比任何它的有限子集更加富有信息。