Изменения
Нет описания правки
Определим ещё несколько матроидов, которые нам понадобятся:
<tex>M_{\oplus} = M_1 \oplus M_2 = \langle (X \times \{1\}) \cup (X \times \{2\}), </tex> <tex> I = \{A \mid A = A_1 \cup A_2, A_1 \in I_1, A_2 \in I_2\} \rangle</tex>.
<tex>M_{P_1} = \langle I_{P_1} = \{A \mid |P_1(A)| = |A|\} \rangle</tex>.
