308
правок
Изменения
м
Нет описания правки
* <tex> A \in I^*_2 \Rightarrow A \in I^*_1 </tex>
*: <tex> A \in I^*_2 </tex> означает , что <tex> \exists B \in \mathcal B: \ A \cap B = \varnothing </tex>. Последнее можно записать иначе: <tex> A \subseteq \overline B </tex>.
*: Кроме того <tex> B \in \mathcal B \Rightarrow \overline B \in \mathcal B_1 </tex> по определению <tex> M^*_1 </tex>. Получили <tex> A \subseteq \overline B \in \mathcal B_1 </tex>, откуда следует <tex> A \in I^*_1 </tex>.
}}
