Lösung von Aufg. 7.6 (WS 11/12)

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}^{+}$.

Es seien A und B zwei verschiedene Punkte. Die Halbgerade $A{B}^{+}$ ist die Strecke $\overline{AB}$ vereinigt mit der Punktmenge aller Punkte P, für die gilt: $\mathrm{\forall }$ P : $\mathrm{(}Zw)(A,B,P)$ --Teufelchen777 01:02, 25. Nov. 2011 (CET)

$A{B}^{+}:=\left\{\overline{AB}\cup P|\mathrm{\forall }P:zw(A,B,P)\right\}$ --RicRic 12:40, 4. Dez. 2011 (CET)