順序集合
ordered set
半順序集合
全順序集合
順序であって、
前順序
でないものの例
整序関係
$ |
$ 2|-2
かつ
$ -2|2
だが、
$ 2\ne-2
参考
https://ja.wikipedia.org/wiki/順序集合
http://paiotunoowari.hatenadiary.jp/entry/2015/11/29/015508