Изменения
Нет описания правки
{{Определение
|definition=
'''База''' — максимальное по включению независимое множество. То есть
<tex>B \in I</tex> — база, если <tex> \forall A \in I : B \subseteq A \Rightarrow A = B </tex>.
}}
{{Теорема
|about=
