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:
“Self-esteem creates natural highs. Knowing that you’re lovable helps you to love more. Knowing that you’re important helps you to make a difference to to others. Knowing that you are capable empowers you to create more. Knowing that you’re valuable and that you have a special place in the universe is a serene spiritual joy in itself.”
—Louise Hart (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)