Изменения
→Теорема о неподвижной точке
Введем на множестве натуральных чисел следующее отношение: <tex>x \equiv y \Leftrightarrow U_x = U_y</tex> и докажем вспомогательную лемму.
{{Определение
|definition = Функция <tex>g</tex> называется '''<tex>\equiv</tex> {{---}} продолжением(<tex>\equiv</tex> {{---}} continuation)''' функции <tex>f</tex>, если для всех таких <tex>x</tex>, что <tex>f(x)</tex> определено, <tex>g(x) \equiv f(x)</tex>.
}}
{{Лемма
