1) Отношение, если правильно понял вопрос, это дробь, к примеру

При этом знаменатель нулю не равен

2) Функция в общем виде y=f(x), где f - это "правило", по которому Y зависит от Х, Y это сама функция, а Х - аргумент функции

3) Область определения это множество всех значения аргумента функции, при которых функция существует или определена

4) Область значений функции это множество значений функции, которые она может принимать