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 poem is like a person. Though it has a family tree, it is important not because of its ancestors but because of its individuality. The poem, like any human being, is something more than its most complete analysis. Like any human being, it gives a sense of unified individuality which no summary of its qualities can reproduce; and at the same time a sense of variety which is beyond satisfactory final analysis.”
—Donald Stauffer (b. 1930)
“A distinction of property results from that very protection which a free Government gives to unequal faculties of acquiring it.”
—James Madison (1751–1836)