括公理模式，尽管这个术语也用于下面讨论的无限制概括假定 "P" 是不含符号 "B" 的一个单变量谓词。在 Zermelo-Fraenkel 公理的形式语言中，这个公理模式读做：换句话说：要理解这个公理模式，注意集合 "B" 必须是 "A" 的子集。所以，这个公理模式实际上说的是，给定集合 "A" 和谓词 "P"，我们可以找到 "A" 的子集 "B"，它的成员正是那些满足 "P" 的 "A" 的成员。通过外延公理可知这个集合是唯一的。我们通常使用集合建构式符号把它指示为 {"x"∈"A" : "P