Изменения
→Матричный матроид
# <tex>A \subset B, \ B \in I \Rightarrow A \in I</tex>
#:Если из набора линейно-независимых векторов убрать некоторые, то этот набор не станет зависимым.
# <tex>A \in I, \ B \in I, \ \left\vert A \right\vert < \left\vert B \right\vert \Rightarrow \mathcal {9} exists ~ x \in B \setminus A, \ A \cup \mathcal{f} x \mathcal {g} \in I</tex>#:Так как <tex>A \in I</tex>, то <tex>\dim \mathcal{L}(A) = \left\vert A \right\vert</tex>. По условию <tex>\left\vert A \right\vert < \left\vert B \right\vert \Rightarrow \exists x \in B: x \notin \mathcal{L}(A)</tex>, то есть <tex>x \notin A</tex>. Тогда множество <tex> A \cup \mathcal{f} x \mathcal {g}</tex> линейно-независимо по определению линейной оболочки.
}}
