Изменения
→Лемма Урысона
Аналогично можно ввести <tex>G_{1/4}, G_{3/4}</tex> и так далее <tex>G_{\alpha}</tex> для любого двоично-рационального <tex>\alpha \in [0; 1]</tex>.
<tex>f(x) := \sup \{x \in G_\alpha \mid \alpha</tex> — дв. рац. <tex>{} \mid x \in G_\alpha \}</tex> — непр.<tex>(a, b) \subset [0, 1], a</tex> — дв. рац. <tex>{}\quad f^{-1}(a, b) = \!\!\!\!\!\!\displaystyle\bigcup_{\substack{\alpha \in (a, b) \\ \alpha \text{ is dyadic rat.}}} \!\!\!\!\!\! G_\alpha \setminus \overline{G_a}</tex>
}}
