1、定义：在集合论和有关的数学分支中，给定集合S的子集的搜集F叫做S的子集族或S上的集合族。更一般的说，无论什么任何集合的搜集都叫做集合族。

2、性质：S的任何子集族自身都是幂集的子集。不论什么集合族都是所有集合的真类的子类。超图是顶点集合加上顶点集合的非空子集族。