このとき、mによって、与えられた"w" ⊆ "x" とマッチングされている"y" の頂点集合をm("w" )と書くと、マッチングの定義より|m("w" )|＝|"w" |。