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

• 幂集P(S )是在S 上的集合族。
• n元素集合S 的k 元素子集S ^{(k )}形成了集合族。
• 所有序数的类Ord是“大”集合族；它自身不是集合而是真类。
• 令S = {a,b,c,1,2}。（在多重集含义上的） S 上集合族的一个例子是当 A₁ = {a,b,c}，A₂ = {1,2}，A₃ = {1,2}，A₄ = {a,b,1} 时的 F = {A₁, A₂, A₃, A₄}。
• 样本空间的某些子集组成的集合叫做集合族。

• 斯伯纳族（英语：Sperner_family）是一个其中任何集合都不是其他集合的子集的集合族。斯伯纳定理（英语：Sperner%27s_theorem）限定了斯伯纳族的最大阶。
• 赫利族（英语：Helly_family）是一个任何交集为空的最小子族的阶有界的集合族。赫利定理（英语：Helly%27s_theorem）表明，有限维欧几里得空间中的凸集形成了赫利族。

• S 的任何子集族自身都是幂集P(S )的子集。
• 不论什么集合族都是所有集合的真类（全集）V的子类。
• 由菲利浦·赫尔提出的赫尔婚姻定理给出了非空集(允许重复)的有限族具有互异代表元系的充要条件。^[1]

最简单的集合族是由有限集M 的全体子集所构成的，简称为C 族。^[2]C 族有以下基本的性质： 设${\displaystyle \left|M\right|=n}$,则集合M 的全部子集构成的类M* 的阶为${\displaystyle 2^{n))$， 即${\displaystyle \left|M*\right|=C_{n}^{0}+C_{n}^{1}+\cdots +C_{n}^{n}=2^{n))$

查 论 编 集合论 公理 选择 可数 依賴 外延 无穷 配对 幂集 正则性 并集 马丁公理 公理模式 替代 分类 运算 笛卡儿积 德摩根定律 交集 冪集 补集 对称差 并集 概念 方法 势 基数（大基数） 类 可构造全集（英语：Constructible universe） 连续统假设 對角論證法 元素 有序对 多元组 集合族 力迫 一一对应 序数 超限归纳法 文氏图 集合类型 可數集 空集 有限集合（继承有限集合） 模糊集 无限集合 递归集合 子集 传递集合 不可數集 泛集（英语：Universal set） 理论 可替代的集合论 集合论 朴素集合论 康托尔定理 策梅洛 广义（英语：General set theory） 《数学原理》 新基础 策梅洛-弗兰克 冯诺伊曼-博内斯-哥德尔 Morse–Kelley（英语：Morse–Kelley set theory） 克里普克–普拉特克（英语：Kripke–Platek set theory） 塔斯基–格罗滕迪克（英语：Tarski–Grothendieck set theory） 悖论（英语：Paradoxes of set theory） 问题 罗素悖论 蘇斯林問題 ZFC系統無法確定的命題列表 集合論者 亚伯拉罕·弗兰克尔 伯特兰·罗素 恩斯特·策梅洛 格奥尔格·康托尔 约翰·冯·诺伊曼 库尔特·哥德尔 盧菲特·澤德 保罗·贝尔奈斯（英语：Paul Bernays） 保罗·寇恩 理查德·戴德金 托马什·耶赫 威拉德·蒯因