集合族

冪集 P(S) 是在 S 上的集合族。 n 元素集合 S 的 k 元素子集 S(k) 形成了集合族。抽象單純復形是集合族。所有序數的類 Ord 是“大”集合族；它自身不是集合而是真類。

S 的任何子集族自身都是冪集 P(S) 的子集。不論什麼集合族都是所有集合的真類(全集) V 的子類。超圖是集合 V (頂點集合)加上 V 的非空子集族(邊)。