Lösung von Aufg. 9.3 (SoSe 11)

Definieren Sie noch einmal die Begriffe Halbgerade $\ AQ^{+}$ und $\ AQ^{-}$. 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.