它的成员必须满足的谓词来定义这个集合。
在 NBG 类理论中.在von Neumann-Bernays-Gödel 集合论中，对集合和类这两者作出了区分。一个类 "x" 是集合，当且仅当它属于某个类 "B"。在这个理论中，有一个定理模式读做：定义了 formula_5 之后，它可以简写为就是说：就是说：定义了 formula_8 之后，它可以简写为：就是的说：在这个公理中，谓词 "P" 被替代为可量化在其上的类 "A"。
在二阶逻辑中.