ちゅか>>728はa <= b でも b <= a でもないa, b（比較不能）が存在する場合も成立することを指摘しているのが>>729のレスなので、
>>729を指して順序（≠全順序）と言い出したら
>>728は全順序ではなかったことに
なりますなあ、、