Что такое полуплоскость? В чём состоит аксиома полуплоскостей?

Полуплоскость – это часть плоскости, ограниченная прямой.

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