，我们可以找到 "A" 的子集 "B"，它的成员正是那些满足 "P" 的 "A" 的成员。通过外延公理可知这个集合是唯一的。我们通常使用集合建构式符号把它指示为 {"x"∈"A" : "P"("x")}。所以这个公理的本质是：分类公理模式是与ZFC 集合论有关的公理集合论系统的特征，但在根本上不同的可替代的集合论系统中通常不出现。例如，新基础集合论和正集合论使用对朴素集合论的概括公理的不同的限制。Vopenka 的可替代的集合论有一个特殊要点，它允许集合的真子类的存在，这样的真类叫做半集合。即使在与