Il teorema di Kleene
se (S, _) è un reticolo completo e
_: S __S è un operatore continuo su S,
se l’operatore _ è continuo il suo minimo punto fisso lfp(_) = _____ lub {__n | n < __} può essere calcolato come il lub dell’insieme di tutte le iterazioni finite di _, a partire dall’elemento minimo del reticolo __
- naturalmente non si può calcolare effettivamente perché sono necessarie _ iterazioni