- Аксиома взаимного расположения точек. Каждая прямая на плоскости разбивает эту плоскость на две части. При этом если две точки принадлежат разным частям, то отрезок, соединяющий эти точки, пересекается с прямой. Если две точки принадлежат одной части, то отрезок, соединяющий эти точки, не пересекается с прямой.
- Полуплоскостью называется часть плоскости, состоящая из точек прямой и точек, лежащих по одну сторону от этой прямой.
- Любая прямая делит плоскость на две полуплоскости.
