Funktionen als CPO

• partielle Funktionen C = (B→B)
• Bereich B∪$\bot$ geordnet durch ∀x∈B : $\bot$ < x
• C geordnet durch f≤g$\iff$∀x∈B : f (x)≤g(x),
• d. h. g ist Verfeinerung von f
• Das Bottom-Element von C ist die überall undefinierte Funktion.