Изменения
Нет описания правки
3) <tex>\langle \langle A \rangle \rangle = \langle A \rangle </tex>
|proof =
1) Пусть <tex>\langle A \rangle \subset \langle B \rangle,</tex> тогда <tex>\exists x \notin \langle B \rangle, x \in \langle A \rangle.</tex> Следовательно, <tex>\exists C \in I, C \subset A : C \cup x \notin I.</tex> Но так как <tex>C \subset B,</tex> то <tex>x \in \langle B \rangle.</tex> Получили противоречие.
}}
