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

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

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