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:
“Fifty years from now, it will not matter what kind of car you drove, what kind of house you lived in, how much you had in your bank account, or what your clothes looked like, But the world may be a little better because you were important in the life of a child.”
—Anonymous. Quoted in The Winning Family, by Louise Hart, ch. 1 (1987)
“I have no doubt that it was a principle they fought for, as much as our ancestors, and not to avoid a three-penny tax on their tea; and the results of this battle will be as important and memorable to those whom it concerns as those of the battle of Bunker Hill, at least.”
—Henry David Thoreau (1817–1862)