無限性:空でない二項関係Rが最下層の型の個体要素間に成り立つとき、それは非反射的で推移的であり、強連結である(∀x,y)。
存在着在最低层类型的个体之上的非空二元关系R，它是反自反的、传递的和强连接的（∀x,y{\displaystyle\forallx,y}）。