Formale Semantik Denotationelle Semantik

Beweis des Lemmas:
38
Drei Schritte zum Beweis:
• 1. Schritt: Definiere g 0 folgendermaßen:
– g 0 s = g s falls g s ≠ undef für ein g ∈ Y
– g 0 s = undef sonst
und zeige, dass g 0 wohldefiniert ist.
• 2. Schritt: Zeige, dass g 0 eine obere
Schranke von Y ist.
• 3. Schritt: Zeige, dass g 0 die kleinste obere
Schranke von Y ist.
HPS WS 2002/03
Dr. Sabine Glesner