Изменения

Пусть <tex>\mathfrak C</tex> {- --} семейство подмножеств конечного непустого множетва <tex>\mathbb E</tex> такое, что:# <tex>\varnothing \notin \mathfrak C</tex><br/>.# если Если <tex>\mathbb C_1, \mathbb C_2 \in \mathfrak C</tex> и <tex>\mathbb C_1 \ne \mathbb C_2</tex>, то <tex>\mathbb C_1 \nsubseteq \mathbb C_2</tex> и <tex>\mathbb C_2 \nsubseteq \mathbb C_1</tex>.# если Если <tex>\mathbb C_1, \mathbb C_2 \in \mathfrak C, \mathbb C_1 \ne \mathbb C_2</tex> и <tex>p \in \mathbb C_1 \cap \mathbb C_2</tex>, то существует <tex>\mathbb C \in \mathfrak C</tex> такой, что <tex>\mathbb C \subseteq (\mathbb C_1 \cup \mathbb C_2) \setminus p</tex>.Тогда семейство <tex>\mathfrak C</tex> совпадает с семейством циклов однозначно определенного матроида на <tex>\mathbb E</tex>.