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 person who thinks himself important speaks slowly.”
—Chinese proverb.
“How can you tell if you discipline effectively? Ask yourself if your disciplinary methods generally produce lasting results in a manner you find acceptable. Whether your philosophy is democratic or autocratic, whatever techniques you use—reasoning, a “star” chart, time-outs, or spanking—if it doesn’t work, it’s not effective.”
—Stanley Turecki (20th century)