Изменения
Нет описания правки
С учетом введенных обозначений аксиома принимает вид: <br>
<tex> \exists b_2 \in B_2 </tex> такой, что <tex>(B_1 \setminus b_1) \cup b_2 \in I</tex>.
А так как <tex>|(B_1 \setminus b_1) \cup b_2| = |B_1|\:</tex> и <tex>B_1</tex> — база, то <tex>(B_1 \setminus b_1) \cup b_2 \in B_s</tex>, что и требовалось доказать.
}}
