Lösung von Aufg. 5.2P (SoSe 12)

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 formal korrekte Definition des Begriffs Halbgerade $\ AB^+$.

Formal korrekte Definition des Begriffs Halbgerade:

AB⁺ ≔ {P | Zw(A,P,B) ∪ P | Zw(A,B,P)} ∪ {A,B}