半順序が定義されている集合

例

冪集合\{x,y,z\}の包含による半順序

例えば\{x\}と\{y\}の間には関係がないため完全律を満たさない

故に、この冪集合における包含は、半順序集合ではあるが、全順序集合ではない