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:
“There is still the feeling that women’s writing is a lesser class of writing, that ... what goes on in the nursery or the bedroom is not as important as what goes on in the battlefield, ... that what women know about is a less category of knowledge.”
—Erica Jong (b. 1942)
“The chief benefit, which results from philosophy, arises in an indirect manner, and proceeds more from its secret, insensible influence, than from its immediate application.”
—David Hume (1711–1776)