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