Изменения
Нет описания правки
<tex>A := B_2</tex> <br>
<tex>B := B_1 \setminus b_1</tex> <br>
Заметим, что <tex> A \setminus B = B_2 \setminus (B_1 \setminus b_1)</tex> содержит хотя бы один элемент: <brtex>b_2 \in B_2</tex>, то есть<tex>\exists x := \in A \setminus B = B_2 \setminus (B_1 \setminus b_1) </tex>. <br><tex>x := b_2 \in B_2</tex>. <br>
По теореме о равномощности баз <tex>|A|>|B|</tex>, значит для них выполняется третья аксиома [[Определение матроида|определения матроида]]. <br>
С учетом введенных обозначений аксиома принимает вид: <br>
