Talk:Complete partial order

In the introduction, dcpo and cpo  seem to stand for directed complete partial orders and complete partial orders, respectively, and seem to be distinct notions. In the definition section directed complete partial orders is defined, and is said to be abbreviated by both dcpo and (less commonly) cpo. Is it me, or is complete partial orders nowhere in the article defined? 145.97.197.215 (talk) 21:50, 18 August 2011 (UTC)


 * Hi. I think "complete partial order" or "cpo" is a vague term that can be used to mean either "directed complete partial order" or "omega complete partial order". That's my understanding. ComputScientist (talk) 15:58, 28 August 2011 (UTC)

Is this page about w-cpos?
Hi. Since the page is titled "complete partial order", which can mean both dcpo and w-cpo, why not make the article about both dcpos and w-cpos? I know there's another page about chain completeness, but I think that was supposed to be about having limits of all chains not just w-chains. ComputScientist (talk) 19:02, 30 August 2012 (UTC)

What kind of cpo?
The bit on Scott continuity says "The set of all continuous functions between two dcpos P and Q is denoted [P → Q]. Equipped with the pointwise order, this is again a dcpo, and a cpo whenever Q is a cpo." Perhaps it should say "The set of all continuous functions between two dcpos P and Q is denoted [P → Q]. Equipped with the pointwise order, this is again a dcpo, and an $\omega$-cpo whenever Q is an $\omega$-cpo."

Dubious Example Partial Functions
The following example appears to be wrong:

The set of all partial functions on some given set S can be ordered by defining f ≤ g for functions f and g if and only if g extends f, i.e. if the domain of f is a subset of the domain of g and the values of f and g agree on all inputs for which both functions are defined. (Equivalently, f ≤ g if and only if f ⊆ g where f and g are identified with their respective graphs.) This order is a pointed dcpo, where the least element is the nowhere defined function (with empty domain). In fact, ≤ is also bounded complete. This example also demonstrates why it is not always natural to have a greatest element. The specialization order of any sober space is a dcpo.

I think this only holds for finite domains.

As a counter example: Consider S to be the set of natural numbers. In the order constructed as above, the limited identity functions I_n (mapping each natural number less than or equal to n to itself) are ordered, i.e. I_n ≤ I_(n+1). The set {I_n} is a directed subset of the partial functions over S, but it has no supremum. — Preceding unsigned comment added by 91.66.22.113 (talk) 14:51, 8 January 2017 (UTC)


 * In your example, why do you think that the identity on S is not the supremum? Are you confused by "partial functions" meaning "not-necessarily-total functions", rather than "non-total functions"? 46.135.254.251 (talk) 22:46, 7 February 2017 (UTC)