半順序集合と言います。poset(ポセット)と呼ぶことがあります。半順序集合になります。実際に、3つの条件を満たすことを確認してみます。倍数なので、推移律も成立します。反対称律も成立します。半順序集合になります。こちらも、3つの条件を満たすことは簡単に確認できます。全順序とは半順序が「全ての2つの要素が比較可能」という性質も満たすとき、全順序と言います。全順序集合と言います。半順序関係でしたが、全順序関係ではありません。倍数でもない」というように、比較不可能な2つの要素があり、全順序律が満たされないからです。全順序集合になります。任意の2つの実数は大きさの比較が可能であり、全順序律が満たされるからです。