有向集合
以下を満たす
擬順序集合
$ (X,\le)
を
有向集合
と呼ぶ
$ \forall a,b\in X\exist c\in X:a\le c\land b\le c
(任意の2元集合が
上界
を持つ)
https://ja.wikipedia.org/wiki/有向集合
#有向擬順序集合
#有向前順序集合
directed set
フィルター付き集合
filtered set
#2025-07-15
20:07:03