> Quando está dizendo que M é um emparelhamento
> que satura X e N um emparelhamento que
> satura Y, isso está querendo dizer que M e N
> não são necessariamente emparelhamentos
> distintos, né?
Você não pode supor que M é diferente de N
(se bem que isso não mudaria o problema
em quase nada).
> Ou seja, não é verdadeiro que M-intersecção-N
> seria vazio,
Acho que você está confundindo "distinto"
com "disjunto". Cuidado! Os dois conceitos
são muito diferentes.
Não estou supondo M inter N vazio.
> posso até me referir ao mesmo emparelhamento,
> não?
Não entendi.
> Teria 3 casos a tratar, o caso em que
> M-intersecção-N seja vazio, o caso em que
> M-intersecção-N tenha pelo menos um elemento e
> o caso em que M e N são iguais.
É melhor não separar os casos.