半順序集合
patially orderd set
半順序
が定義されている
集合
例
冪集合
$ \{x,y,z\}
の包含による半順序
https://gyazo.com/973e4e433d35c2c0e49869802869cc4c
例えば
$ \{x\}
と
$ \{y\}
の間には関係がないため完全律を満たさない
故に、この冪集合における包含は、半順序集合ではあるが、全順序集合ではない