Lösung von Aufg. 8.4

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.3 äquivalent sind.