有向点族

XX 上の族 (xλ)λΛ(x_\lambda)_{\lambda \in \Lambda} であって、 Λ\Lambda有向集合のもの。