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:
“An important Jew who died in exile.”
—W.H. (Wystan Hugh)
“Pain itself can be pleasurable accidentally in so far as it is accompanied by wonder, as in stage-plays; or in so far as it recalls a beloved object to one’s memory, and makes one feel one’s love for the thing, whose absence gives us pain. Consequently, since love is pleasant, both pain and whatever else results from love, in so far as they remind us of our love, are pleasant.”
—Thomas Aquinas (c. 1225–1274)