Изменения

Итак, семейство <tex>\mathfrak I</tex> удовлетворяет аксиомам матроида. Следовательно, существует матроид <tex>M(\mathbb E)</tex> на множестве <tex>\mathbb E</tex>, для которого семейство <tex>\mathfrak I</tex> является семейством независимых множеств. Из определения <tex>\mathfrak C</tex>-независимости легко следует, что семейство <tex>\mathfrak C</tex> совпадает с множеством цисклов матроида <tex>M(\mathbb E)</tex>

}}