Funktionen als CPO, Beispiel

der Operator F =

\ g -> ( \ x -> if (x==0) then 0
                else 2 + g (x - 1) )

ist stetig auf ($\mathbb {N}$ $\hookrightarrow$ $\mathbb {N}$) (Beispiele nachrechnen!)

Iterative Berechnung des Fixpunktes:

$$\bot$$ = ∅    überall undefiniert

$$\bot \bot$$ =

$$\bot \bot$$ =

$$\bot \bot$$ =