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:
“A restaurant is a fantasy—a kind of living fantasy in which diners are the most important members of the cast.”
—Warner Leroy, U.S. restaurateur, founder of Maxwell’s Plum restaurant, New York City. New York Times (July 9, 1976)
“The restlessness that comes upon girls upon summer evenings results in lasting trouble unless it is speedily controlled. The right kind of man does not look for a wife on the streets, and the right kind of girl waits till the man comes to her home for her.”
—Sedalia Times (1900)