プログラミングの意味論とかしらべてると、orderとかtopologyとかlatticeとかにぶちあたりまくる。 避けて通れないことにようやく気付く。

1.1 Order 一般的な順序の例から、順序の紹介。 transitivity, antisymmetric, strict, non-strict, comparabilityについて軽く。 1.2 Definitions orderの定義。reflexivity, antisymmetry, transitivity。 ordered set (= partially ordered set = poset) …