Изменения
fixed
По определению <tex>Reg = \bigcup\limits_{i=0}^{\infty}R_i</tex>.
Рассмотрим <tex> \forall i </tex> и <tex> \forall </tex> любой надрез <tex> R </tex>: <tex>R_i \subset R</tex> (следует из определения <tex>R_i</tex> и определения надреза). Это выполнимо для любого надрезa <tex> R \Rightarrow R_i \subset Reg'</tex>. Так как это выполнено для <tex> \forall i \Rightarrow \bigcup\limits_{i=0}^{\infty}R_i \subset Reg' </tex>.
*'''<tex>Reg' \subset Reg</tex>'''
