Как правильно понять определение функции в математике?

В википедии говориться: "Фу́нкция в математике — соответствие между элементами двух множеств — правило, по которому каждому элементу первого соответствует один и только один элемент второго множества."
Т.е. элементу первого множества Х ОДНОЗНАЧНО определяется определенный элемент множества У. Тогда возникает тупик, если рассмотреть функцию квадратного арифметического корня то там возникает ДВУЗНАЧНОСТЬ, т.е. если функция нам дана в вида y=sqrt(x), то при х, допустим равно 4, из множества У ему ДВУЗНАЧНО определяется -2 или 2 (т.к. если их возвести в квадрат мы получим 4)
Как быть с такой логической цепочкой?