Il teorema di Tarski
se (S, _) è un reticolo completo e
_: S __S è un operatore monotono su S,
allora _ ha un minimo punto fisso lfp(_) e
lfp(_) = glb { x: _(x) = x }
il teorema ci dice che lfp(_) esiste ed è il massimo limite inferiore dell’insieme dei punti fissi di _
per ottenerne una caratterizzazione costruttiva abbiamo bisogno di ipotesi più forti e dobbiamo ricorrere alle potenze ordinali