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:
“By now, legions of tireless essayists and op-ed columnists have dressed feminists down for making such a fuss about entering the professions and earning equal pay that everyone’s attention has been distracted from the important contributions of mothers working at home. This judgment presumes, of course, that prior to the resurgence of feminism in the ‘70s, housewives and mothers enjoyed wide recognition and honor. This was not exactly the case.”
—Mary Kay Blakely (20th century)
“If family communication is good, parents can pick up the signs of stress in children and talk about it before it results in some crisis. If family communication is bad, not only will parents be insensitive to potential crises, but the poor communication will contribute to problems in the family.”
—Donald C. Medeiros (20th century)