Lösung von Aufgabe 7.4

Definieren 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.