143
правки
Изменения
м
тире
Аксиоматизация матроида циклами
|statement=
Пусть <tex>\mathfrak C</tex> {{---}} семейство подмножеств конечного непустого множетва <tex>\mathbb E</tex> такое, что:
# <tex>\varnothing \notin \mathfrak C</tex>
# Если <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>.
