Wenn P ein Punkt auf einer orientierten Geraden (siehe orientierte Gerade) g ist, dann sind die Mengen

{ P } ∪ { Q : (Q ∈ g) ∧ (Q < P) } und
{ P } ∪ { Q : (Q ∈ g) ∧ (P < Q) }

Halbgeraden mit Ausgangspunkt P. Anstatt des Begriffs Halbgerade ist auch der Begriff Strahl gebräuchlich.