Lösung von Aufg. 8.6 (SoSe 11)

Eine informelle Definition:

Definition: Halbgerade $AB^+$

Gegeben seien zwei verschiedene Punkte $\ A$ und $\ B$. Unter dem Strahl bzw. der Halbgeraden $\ AB^+$ versteht man die Strecke $\overline{AB}$ vereinigt mit der Menge aller der Punkte, die man erhält, wenn man $\overline{AB}$ über $\ B$ hinaus verlängert.

Formulieren Sie eine mathematisch korrekte Definition des Begriffs Halbgerade $\ AB^+$.

$AB^+ := \lbrace P\ |\ Zw (A,B,P) \vee Zw (A,P,B)\rbrace \cup \lbrace A,B\rbrace$

--Vollyschwamm 13:11, 1. Jun. 2011 (CEST)