Lösung von Aufg. 6.1P (SoSe 13)

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^+$.
Tipp: Das folgende Video kann helfen!

• Unter der Halbgeraden AB (plus) versteht man die Menge aller P Element E, für die gilt: P ist Element AB für die gilt P ist Element der Strecke AB oder B ist Element der Strecke AB. --Blumenkind 12:30, 31. Mai 2013 (CEST)Blumenkind 12:30, 31. MAI
  • Da ist noch ein Tipp-Fehler drin.--Tutorin Anne 18:35, 2. Jun. 2013 (CEST)

$\overline{AB}$ vereinigt {P/Zw A,B,P} und ausformuliert:
Unter der Halbgeraden AB+ versteht man die Menge aller Punkte der Strecke AB, vereinigt mit der Menge aller Punkte P für die gilt: Zw(A,B,P)
--Wüstenfuchs 15:55, 10. Jul. 2013 (CEST)