Lösung von Aufg. 9.3 (SoSe 11)

Definieren Sie noch einmal die Begriffe Halbgerade $A{Q}^{+}$ und $A{Q}^{-}$. In diesen neuen Definitionen dürfen Sie die Zwischenrelation nicht explizit verwenden. Beweisen Sie dann, dass Ihre neuen Definitionen zur | Definition II.5 äquivalent sind.