Lösung von Aufg. 6.1P (WS 20 21)

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

Def (Halbgerade$A{B}^{-}$): $A{B}^{-}:=\left\{A\right\}\cap (\{P|koll(A,B,P)\}\mathrm{\setminus }A{B}^{+})$--Werzdavid (Diskussion) 09:21, 10. Dez. 2020 (CET)