集合族

在集合论和有关的数学分支中，给定集合 的子集的类 叫做 的子集族（或称 上的集合族）。更一般的说，无论什么任何集合的类都叫做集合族。

最简单的集合族是由有限集 的全体子集所构成的，简称为 族。 族有以下基本的性质：设${\displaystyle \left|M\right|=n}$ 的全部子集构成的类 的阶为${\displaystyle 2^n}$，即${\displaystyle \left|M\ast <!--\; \ast \; -->\right|=C_n^0+C_n^1+\cdots <!--\; \cdots \; -->+C_n^n=2^n}$