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 not always possible to predict the response of a doting Jewish mother. Witness the occasion on which the late piano virtuoso Oscar Levant telephoned his mother with some important news. He had proposed to his beloved and been accepted. Replied Mother Levant: “Good, Oscar, I’m happy to hear it. But did you practice today?””
—Liz Smith (20th century)
““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)