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