によって定義すれば、("f"("a", "b"),&lt;"a" △ &lt;"b")は整列集合であり、その順序数は("a",&lt;"a"),("b",&lt;"b")の特定の取り方によらず一定である。