editor
177
правок
Изменения
м
Мелкие фиксы
По определению <tex>Reg = \bigcup\limits_{i=0}^{\infty}R_i</tex>.
Рассмотрим любое множество <tex> R_i </tex> и любое надрегулярное множество<tex> R </tex>: <tex>R_i \subset R</tex> (следует из определения <tex>R_i</tex> и определения надрегулярного множества).
Это верно для любого надрегулярного множества <tex>R</tex>, следовательно <tex> R_i \subset Reg'</tex>. Это Также это выполнено для любого <tex> R_i </tex>, значит <tex> \bigcup\limits_{i=0}^{\infty}R_i \subset Reg' </tex>.
*'''<tex>Reg' \subset Reg</tex>'''
