有向部分集合
directed subsets
とある
部分集合
定義
半順序集合
$ D
の空でない部分集合
$ X
で、以下を満たすもの
$ \forall a,b\in X\;\exist c\in X\;(a\sqsubseteq c\land b\sqsubseteq c)
つまり、
$ X
の任意の2元集合が
$ X
に
上界
をもつ
有向部分集合の例
ω-chain
ω-chainの方が少し制限が強い
有向集合
の方に色々書いている
mrsekut.icon
参考
/mrsekut-book-4320026578/075
これ、有向集合と書いているが、有向部分集合と呼んだほうが正確だと思う
https://ja.wikipedia.org/wiki/有向集合#有向部分集合