真子集

集合 的真子集 ，記作 ，是嚴格包含於 的子集，因此必然排除 的至少一個成員。空集 因此是任何非空集的真子集。

例如，考慮一個集合 。那麼 和 是真子集，而 和 則不是。