>>327
ある集合の要素を別の集合の一つの要素に対応させる操作のことじゃないかな。

>>332
最大の辺⇔Ｐ⇔Ｑ
よって答えはＱと同値で変形していければ十分性も示せる。