在
集合论和有关的
数学分支中，给定
集合 S 的
子集的搜集 F 叫做 S 的
子集族或 S 上的集合族。更一般的说，无论什么任何集合的搜集都叫做集合族。
幂集 P(S) 是在 S 上的集合族。 n 元素集合 S 的 k 元素子集 S(k) 形成了集合族。抽象
单纯复形是集合族。所有序数的类 Ord 是“大”集合族；它自身不是集合而是真类。
S 的任何
子集族自身都是
幂集 P(S) 的子集。不论什么集合族都是所有集合的真类(全集) V 的子类。
超图是集合 V (顶点集合)加上 V 的
非空子集族(边)。