集相当于说formula_9是一个偏序集。在其它有基本元素的概念的集合论中，传递性可以说成不包含基本元素的一个集合formula_13是传递性的，当且仅当 formula_14。
传递闭包.集合formula_13的传递闭包是满足formula_16的（在包含关系下）最小的传递集formula_10 。设formula_1为集合，则formula_1的传递闭包可以直观地描述成:
传递类.传递类经常用于构造集合论自身的释义，通常叫做内模型。原因