Функция — отображение, сопоставляющее каждому элементу некоторого множества A соответствующий ему единственный элемент из другого множества B.
Тип функции (одноместной) записывается в виде
f ∈ [A→B].
Областью определения или доменом функции f называется
Dom(f) ≡ {x ∈ A | f(x) определено}.
Областью значений функции f называется
Ran(f) ≡ {f(x) ∈ B | x ∈ Dom(f)}.
Функция f соотносит элементу х из области определения элемент f(x) из области значений, или f(x) есть результат применения f к аргументу х.
Функция sign ∈ [Z→{-1, 0, 1}]
Область определения — множество всех целых чисел,
область значений — его подмножество.