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:
“The most important fact about our shopping malls, as distinct from the ordinary shopping centers where we go for our groceries, is that we do not need most of what they sell, not even for our pleasure or entertainment, not really even for a sensation of luxury. Little in them is essential to our survival, our work, or our play, and the same is true of the boutiques that multiply on our streets.”
—Henry Fairlie (1924–1990)
“It is perhaps the principal admirableness of the Gothic schools of architecture, that they receive the results of the labour of inferior minds; and out of fragments full of imperfection ... raise up a stately and unaccusable whole.”
—John Ruskin (1819–1900)