Функция - бинарное отношение f, обладающее свойством однозначности. Определение образа и аргумента функции, понятие тотальной функции и области определения