Луч — множество
точек прямой, лежащих по одну сторону от данной точки
O (включая саму точку
O).
Более точно, каждая
точка O на
прямой разбивает
множество точек, отличных от
O, на два непустых множества так, что:
- точка O лежит между любыми двумя точками, принадлежащими разным множествам;
- из любых двух точек, принадлежащих одному множеству, одна лежит между другой точкой и O.
Каждое из множеств, на которое точка
O разбивает прямую называется
открытым лучом с началом в
O.