Направленные отрезки

Как и в школьном курсе геометрии, мы будем называть фигурой любое множество точек. Точки будем обозначать большими латинскими буквами, прямые – малыми латинскими буквами, а плоскости, в основном, – малыми буквами греческого алфавита. Если прямая задана точками А и В, то ее будем обозначать (А, В). Отрезок с концами А и В будем обозначать [A, B], а луч с началом в точке А и промежуточной точкой В – [А, В). Длину отрезка c концами А и В будем обозначать |AB|. Параллельные прямые и обозначаем: || .