有向完備半順序 (dcpo)

directed-complete partial order

半順序$ Pが有向完備半順序 (dcpo)であるとは、任意の部分有向集合が上限 (supremum。最小上界 (least upper bound)) を持つ事を言ふ

$ \forall D_{\subseteq P}(\forall a,b_{\in D}\exist u_{\in D}(a\le u\land b\le u)\to\exist\sup D_{\in P}).

Scott 連續

Scott 位相