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

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

Gegeben seien zwei nicht identische Punkte $A$ und $B$. Unter $A{B}^{-}$ 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.

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

Vorausgesetzt die Definition aus Aufg. 7.6
$A{B}^{-}:=\left\{P|\mathrm{\forall }P\in AB\wedge \in ̸A{B}^{+}\cup A\right\}$ --RicRic 12:46, 4. Dez. 2011 (CET)