Разница между соответствием и идеальным соответствием

Рассмотрим множество M = {m1, m2, ..., mn} из n мужчин и множество W = {w1, w2, ..., wn} из n женщин. Пусть M X W обозначает множество всех возможных упорядоченных пар вида (m, w), где m принадлежит M, а w принадлежит W.

А соответствие S - это множество упорядоченных пар, каждая из которых принадлежит M X W, со свойством что каждый член из M и каждый член из W встречается не более чем в одной паре в S.

А идеальное соответствие S1 - это соответствие со свойством, что каждый член M и каждый член W встречается ровно в одной паре в S1.

Мне трудно понять вышеприведенное утверждение об определениях совпадения и идеального совпадения.

Может ли кто-нибудь привести мне пример соответствия и идеального соответствия на следующем примере. следующем примере. M = {m1, m2, m3} и w = {w1, w2, w3}

Спасибо за помощь