今日の自習:antichainや集合論など

antichainがよく分からないのでこのスライド読み解いてる。

slideplayer.com

うーん

下方集合の理解が曖昧(具体例を挙げてスケッチしてみる)

∀x∈L ∀y∈X: y≤x ⇨ y∈L