有向集合
directed set。directed preordered set。filtered set
有向集合 - Wikipedia
前順序
で、任意の 2 つの元が上界 (upper bound) を持つ事を言ふ
$ \forall a,b_{\in P}\exist u_{\in P}(a\le u\land b\le u)
.