Нуль-идеал
идеал, состоящий только из нулевого элемента
множество, состоящее из двух различных точек (концов) и всех точек, лежащих между ними; расстояние между концами называется длиной отрезка
Теорема 1
Отрезок, при движении, переходит в равный ему отрезок....
Построить его симметрию относительно прямой $l$, не пересекающий данный отрезок и относительно точки...
отрезок $A'B'$....
прямой $l$....
ему отрезок $A''B''$.
Отрезок
Пусть нам дана произвольная прямая и две точки, принадлежащие ей....
Итак, для сравнения выбранных нами отрезков (обозначим их отрезок 1 и отрезок 2) наложим конец отрезка...
Измерить отрезок означает найти его длину....
Для его измерения возьмем за эталон отрезок $[AB]$. Будем откладывать его на отрезок $[CM]$....
Если при одном и том же выборе единицы длины отрезок $1$ и отрезок $2$ будут иметь одинаковую длину,
Автор дает полную классификацию множеств точек, равноудаленных от двух окружностей на плоскости.
идеал, состоящий только из нулевого элемента
множество, в котором не существует связного подмножества, содержащего более одной точки
цепь, не содержащая цикла (т. е. все ее вершины различны)