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

Geben Sie eine formal korrekte Definition für die Halbgerade $\ AB^-$ an, ohne die Zwischenrelation zu verwenden.

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

Def($\ AB^-$): 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)