множество точек прямой, лежащих по одну сторону от некоторой ее точки; если эта точка причисляется к полупрямой, то полупрямая называется лучом.