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

Definition: Halbgerade $AB^-$

Gegeben seien zwei nicht identische Punkte $\ A$ und $\ B$ . Unter $\ AB^-$ 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 $\ AB^{-}$ ist die Punktmenge aller Punkte P, für die gilt: $\forall$ P : $\operatorname(Zw) (P, A, B)$ vereinigt mit {A} --Teufelchen777 01:10, 25. Nov. 2011 (CET)

Vorausgesetzt die Definition aus Aufg. 7.6
$\ AB^{-} :=\left\{ {P|\forall P \in AB \wedge \not\in \ AB^{+} \cup A } \right\}$ --RicRic 12:46, 4. Dez. 2011 (CET)
schöne Formelschreibweise und fast richtig! Auch hier (vgl. 7.6) stimmt die Mengenschreibweise innerhalb der geschweiften Klammern nicht ganz.
Verbesserungsvorschläge?

Fehler beim Parsen(Syntaxfehler): \ AB^{-} :=\left\{ {P|\forall P \in AB \wedge \not\in \ AB^{+} \right\} \cup \left\{ A }