По определению луч — множество точек прямой, лежащих по одну сторону от данной точки O (включая саму точку O).Точнее, каждая точка O на прямой разбивает множество точек данной прямой, отличных от точки O, на два непустых подмножества так, что выполняются условия:— точка O лежит между любыми двумя точками прямой, принадлежащими разным подмножествам;— из любых двух точек, принадлежащих одному из этих подмножеств, одна лежит между другой точкой и O. Каждое из этих множеств, называется открытым лучом с началом в точке O.Объединение открытого луча с его началом — точкой O — называется лучом с началом в O.OA — обозначается луч с началом в точке O и содержащий точку A.