абсолютно верно
функция - это когда для каждого x существует ЕДИНСТВЕННОЕ y
для каждого рационального числа есть только одно ему противоположное...
Це функція оберненої пропорційності:

Так як кожному значенню х, крім 0, відповідає ЄДИНЕ значення 
то така відповідність буде функцією