1679
правок
Изменения
Нет описания правки
Пусть <tex> B_1, B_2, \ldots, B_n \in \mathcal R </tex>. Тогда <tex> \bigcup\limits_{n} B_n = \bigcup\limits_{k} D_k, D_k \in \mathcal R, D_k</tex> дизъюнктны.
|proof=
<tex> \bigcup\limits_{n} B_n = B_1 \cup (B_2 \setminus B_1) \cup (B_3 \setminus ( B_1\cup B_2 )) \cup \ldots \cup (B_n \setminus B_1(\bigcup\limits_{k=1}^n B_k)) \cup \ldots </tex>
По доказанному выше утверждению, это объединение можно записать как:
