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 major difference between witches and psychotherapists is that witches see the mental health of women as having important political consequences.”
—Naomi R. Goldenberg (b. 1947)
“Intellectual despair results in neither weakness nor dreams, but in violence.... It is only a matter of knowing how to give vent to one’s rage; whether one only wants to wander like madmen around prisons, or whether one wants to overturn them.”
—Georges Bataille (1897–1962)