含一个成员"y"，使得"x"和"y"不相交。
3.分类公理.设"z"为一个集合，且formula_6为任一个描述"z"内元素"x"的特征的性质，则存在"z"的子集"y"，包含"z"内满足这个性质的"x"。这个「限制」可用来避免罗素悖论之类的悖论。更形式化地说，令formula_6为ZFC语言中的任一公式，具有formula_8等自由变数（即"y"在formula_6内不是自由的），则这个公理是Z的一部份，但在ZF中就显得多余，因为它可以由替代公理和空集公理中导出。由分类公理构