>>729
それは全順序じゃなくて、(ただの)順序ですね、数学用語では
擬順序(または半順序)→順序→全順序