Изменения
Нет описания правки
Для простоты мы считаем, что носители в обоих матроидах одинаковы, если не так, то дополним их до объединения, заметим, что от этого <tex>M_1</tex> и <tex>M_2</tex> не перестанут быть матроидами.
Давайте зададим функцию <tex>P_1</tex> : <tex> X \times X Y \rightarrow X</tex>: <tex>P_1((x, y)) = x</tex>, а для множества <tex>B\in X \times Y</tex> выполняется <tex>P_1(B) = \{A \subset X| \forall x \in A</tex> <tex>\exists y \in B : P_1(y) = x\}</tex>.
Определим ещё несколько матроидов, которые нам понадобятся:
