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:
“To think the world therefore a general Bedlam, or place of madmen, and oneself a physician, is the most necessary point of present wisdom: an important imagination, and the way to happiness.”
—Thomas Traherne (1636–1674)
“Being a parent is unlike any previous job—the results of any one action are not clearly visible for a long time, if at all.”
—Anonymous Mother. As quoted in Between Generations by Ellen Galinsky, ch. 2 (1981)