質問: 順序≦と順序≧は違うものですよね?
回答: 同一ではありませんが、ある半順序集合を二つの違う方向から見たものです。 ≦={<0,1>} としたとき ≧={<1,0>} となります。 もちろん ≧={<1,0>} としたとき ≦={<0,1>} となります。 ≧は≦の双対(the dual) ≦は≧の双対(the dual) と言います。 ハッセ図を考えれば、 図を逆さまにしたものが、元の図の双対となります。