Ответ:

Неверно: значению «слон» из множества M соответствуют два значения из множества N — «большой» и «серый». Поэтому каждому значению из M не соответствует единственное значение из N.

Ответ: Неверно.