Lösung von Aufg. 5.2P (SoSe 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 formal korrekte Definition des Begriffs Halbgerade $A{B}^{+}$.

Formal korrekte Definition des Begriffs Halbgerade:

AB⁺ ≔ {P | Zw(A,P,B) ∪ P | Zw(A,B,P)} ∪ {A,B} (unbekannter Verfasser)
Bitte immer Signatur drunter! Das ist so nicht ganz richtig. Wie ist es richtig? Welche anderen Definitionen gibt es noch?--Tutorin Anne 18:29, 22. Mai 2012 (CEST)

es gibt zwei möglichkeiten zur korrektur:
1. in der mengenklammer müsste entweder ein $\vee$ statt des ∪ stehen, oder
2. man macht aus der menge der ersten mengenklammer zwei mengen, dann könnte das ∪ zwischen den zwei mengen stehen.--Studentin 19:25, 22. Mai 2012 (CEST)

AB⁺ ≔ {P | Zw(A,P,B)} ∪ {P | Zw(A,B,P)} ∪ {A,B}--Malilglowka 15:28, 23. Mai 2012 (CEST)

wie sieht es mit dieser def aus?:
$a{b}^{+}=\{p|\mathrm{\neg }zw(p,a,b)\}$--Studentin 03:51, 26. Mai 2012 (CEST)