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

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