>正整数全体 {1, 2, 3, ...} に
>a < b ⇔ [a は b を割り切る かつ a ≠ b]
>となる(半)順序を入れたもの。

上記の半順序で
12>6>3>1
12>4>2>1

一方 6は4で割り切れず 4も6で割り切れないから
上記の半順序では6>4でも4>6でもない!
つまり、全順序ではない!!!

♪負けた 負けた また負けた
 お🐎🦌のチャットが また負けた