1、定义:在集合论和有关的数学分支中,给定集合S的子集的搜集F叫做S的子集族或S上的集合族。更一般的说,无论什么任何集合的搜集都叫做集合族。
2、性质:S的任何子集族自身都是幂集的子集。不论什么集合族都是所有集合的真类的子类。超图是顶点集合加上顶点集合的非空子集族。