>>725
数学の意味での全順序とは定義がちがいますね
a <= b かつ b <= a ならば a = b
というのが全順序だったかと