?y?z?x(x∈z?x∈y∧P(x)),其中P(x)为ZF形式语言中的任一公式。这个公理说明：“给定任何集合y,有着一个集合z．使得给定任何集合x．有x是z的成员当且仅当x是y的成员并且P(x)对于x成立。”注意对于所有这种谓词P都有一个公理．所以这是个公理模式[1]。子集公理模式是ZF集合论中公理模式之一，它也叫作分类公理模式、分离公理模式、受限概括公理模式．或简称概括公理模式。理解这个公理模式，要注意集合z必须是y的子集。所以，这个公理模式实际上说的是．给定集合y和谓词P．我们可以找到y的子集z,它的成员完全是满足P的y的成员。通过外延公理可知．这个集合是唯一的。通常使用集合建造符号把它指示为{x∈y I P(x)}。所以这个公理的本质是：一个集合的通过一个谓词定义的所有子类自身是一个集合[1]。子集公理的意思是：对于一个已经存在的集合C，可以将其中所有具有性质ψ(x)的元素汇集在一起构成一个新的集合B．显然，集合B是集合C的子集，子集公理由此得名[2].