Lösung von Aufgabe 6.5

Eine informelle Definition:

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

Gegeben seien zwei verschiedene Punkte $A$ und $B$. Unter dem Strahl bzw. der Halbgeraden $A{B}^{+}$ 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 $A{B}^{+}$.

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

$A{B}^{+}:=\{P\mid \mathrm{Zw}(A,P,B)\vee \mathrm{Zw}(A,B,P)\}\cup \{A,B\}$