Отображение Х на У, при котором каждый элемент множества У является образом точно одного элемента из Х, есть Ответ.