こういう関係性なので、完全律を満たすかどうかが、異なる点

具体的に見ると、

半順序では、元同士を常に比較できるとは限らない

2つの異なる元a,bがあった時に、a\le bもa\ge bも成り立たないことがある

全順序では、任意の元同士は必ず比較可能である

例えば、集合A=\{a,b,c\}において、関係Rが以下のように定義されているとする

aRb

aRc

このとき、RはA上の半順序関係だが、全順序関係ではない

なぜなら、bRcやcRbが定義されていないから