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:
“Though it is very important for man as an individual that his religion should be true, that is not the case for society. Society has nothing to fear or hope from another life; what is most important for it is not that all citizens profess the true religion but that they should profess religion.”
—Alexis de Tocqueville (1805–1859)
“A distinction of property results from that very protection which a free Government gives to unequal faculties of acquiring it.”
—James Madison (1751–1836)