Lösung von Aufg. 6.2P (WS 12/13)

Definition: Halbgerade $A{B}^{-}$

Gegeben seien zwei nicht identische Punkte $A$ und $B$. Unter $A{B}^{-}$ wollen wir die Menge aller Punkte $P$ verstehen, die man erhält, wenn man $\overline{AB}$ über $A$ hinaus verlängert.

Geben Sie eine formal korrekte Definition für die Menge dieser Punkte $P$ an.