0 。设formula_1为集合，则formula_1的传递闭包可以直观地描述成:
传递类.传递类经常用于构造集合论自身的释义，通常叫做内模型。原因是有界公式所定义的性质对于传递类是绝对的。
序数.序数可以被定义为成员均是传递集的传递集。