二部グラフのマッチングマトロイドと対応がつく Transversal Matroid と言う概念がある（したがって一般のマッチングマトロイドよりも狭い概念）ので簡単に説明。今までの例と違って、慣習的に元となる有限集合を とする。 の部分集合の族を とする。 の部分…