有向集合
directed set。directed preordered set。filtered set
定義 1
前順序 (proset)$ (P,\le)が有向集合であるとは、任意の 2 つの元が上界をもつ$ \forall a,b_{\in P}\exist u_{\in P}(a\le u\land b\le u)事を言ふ 定義 2
前順序 (proset)$ (P,\le)が有向集合であるとは、任意の部分集合が上界をもつ$ \forall A_{\subseteq P}\exist u_{\in P}\forall a_{\in A}(a\le u)事を言ふ