Основное свойство расположения точек на прямой (определение)
1. Какова бы не была прямая, существуют точки принадлежащие ей и точки ей не принадлежащие. 2. Через любые две точки проходит единственная прямая. 3. Из трёх точек на прямой одна и только одна лежит между ними.