Функциональные отношения 8

В это множество входят пары (а, 1) и (а, 2), у которых первые элементы одинаковы. Что это значит? Очевидно, то, что элементу а ∈ X соответствуют два элемента множества Y: 1 ∈ Y и 2 ∈ Y. Но по определению функционального отношения каждому элементу множества X может соответствовать не более одного элемента множества Y. Следовательно, отношение, представленное множеством M, не является функцией.