13)

Definition: Halbgerade $AB^-$

Gegeben seien zwei nicht identische Punkte $\ A$ und $\ B$. Unter $\ AB^-$ 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.