Изменения
→Графовый матроид
2) <tex>A \subset B, B \in I \Rightarrow A \in I</tex>
Очевидно, что любой подграф леса, так же является лесом, а значит входит в <tex>I</tex>вследствие своей ацикличности.
3) <tex>\mid A \mid < \mid B \mid \Rightarrow \mathcal {9} x \in B \setminus A, A \cup \mathcal{f} x \mathcal {g} \in I</tex>
