Lösung von Aufg. 8.7 (SoSe 11)

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 mathematisch korrekte Definition für die Menge dieser Punkte $\ P$ an.

$\ AB^{-} := \lbrace P\ |\ Zw(P,A,B)\rbrace \cup \lbrace A\rbrace$ --Vollyschwamm 13:17, 1. Jun. 2011 (CEST)