Изменения
Нет описания правки
2) <tex>A \subset B, B \in I \Rightarrow A \in I</tex>
Подмножество парасочетания также является парасочетанием. Удалим из исходного парасочетания <tex>M</tex> ребра, концами которых являются вершины из множества <tex>A B \setminus BA</tex>. Оставшееся множество ребер будет являться парасочетанием, которое обозначим за <tex>M'</tex>. И будет выполняться условие <tex> X \cap ends(M') = B A </tex> , что значит, <tex> B A \subset in I </tex>.
3) <tex>\mid A \mid < \mid B \mid \Rightarrow \mathcal {9} x \in B \setminus A, A \cup \mathcal{f} x \mathcal {g} \in I</tex>
