Important Results
A poset D is a dcpo if and only if each chain in D has a supremum.
If f is a continuous function on a poset D then it has a least fixed point, given as the least upper bound of all finite iterations of f on the least element 0: Vn in N f n(0). This is the Kleene fixed-point theorem.
Read more about this topic: Domain Theory
Famous quotes containing the words important and/or results:
“It is in vain that we would circumscribe the power of one half of our race, and that half by far the most important and influential. If they exert it not for good, they will for evil; if they advance not knowledge, they will perpetuate ignorance. Let women stand where they may in the scale of improvement, their position decides that of the race.”
—Frances Wright (1795–1852)
““The ideal reasoner,” he remarked, “would, when he had once been shown a single fact in all its bearings, deduce from it not only all the chain of events which led up to it but also all the results which would follow from it.””
—Sir Arthur Conan Doyle (1859–1930)