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