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

Первый элемент каждой пары множества F — это элемент множества X, второй — элемент множества Y. Все первые элементы различны, следовательно, каждому значению x ∈ X соответствует точно один элемент y ∈ Y. Это значит, что множество F представляет собой функциональное отношение и, следовательно, является отображением множества X в множество Y.