Lösung von Aufg. 6.1P (WS 18 19)

Geben Sie eine formal korrekte Definition für die Halbgerade $A{B}^{-}$ an, ohne die Zwischenrelation zu verwenden.

Def(AB-): (AB\AB+) u (A)

Def($A{B}^{-}$): M={P | P ε AB $\wedge$ A ε $\overline{PB}$} Für eine geschlossene Halbgerade müsste noch {A} addiert werden. --CIG UA (Diskussion) 12:26, 23. Nov. 2018 (CET)

Ich behaupte: Für die geschlossene Halbgerade muss A nicht noch mit der Menge M vereinigt werden - warum?--Schnirch (Diskussion) 11:58, 29. Nov. 2018 (CET)

Weil A schon Element von $\overline{PB}$ ist.--CIG UA (Diskussion) 23:54, 29. Nov. 2018 (CET)