従って、E{\displaystyleE}はP(X)∖{∅}{\displaystyle{\mathcal{P}}(X)\setminus\{\emptyset\}}の部分集合である。
因此，E{\displaystyleE}是P(X)∖{∅}{\displaystyle{\mathcal{P}}(X)\setminus\{\emptyset\}}的一个子集，其中P(X){\displaystyle{\mathcal{P}}(X)}是X{\displaystyleX}的幂集。