Lösung von Aufg. 5.1P (WS 15 16)

Geben Sie eine formal korrekte Definition für die Halbgerade $A B^{-}$ an, ohne die Zwischenrelation zu verwenden.

AB^- = (AB \ AB ⁺) vereinigt mit A oder: AB^- = Menge aus P|A e |PB|