Изменения
Нет описания правки
1) <tex>A \subset B \Rightarrow \langle A \rangle \subset \langle B \rangle</tex>
2) <tex>q \notin \langle A \rangle ,\; q \in \langle A \cup p \rangle \Rightarrow p \in \langle A \cup q \rangle</tex>
3) <tex>\langle \langle A \rangle \rangle = \langle A \rangle </tex>
|proof =
}}
