Виды функций

Функция f типа [A→B] называется всюду определённой, или полной на A, если она определена для всех элементов A, т.е. Dom(f)=A.

Частичная функция не определена для некоторых элементов A.

Пример

x 1/x ∈ [R→R]

не определена для 0 (иногда говорят, 0 не входит в область определения).

Функция типа [A→{true,false}] называется предикатом.

Функция типа [A→A] называется преобразованием.

Функция называется инъективной, если из x≠y следует f(x)≠f(y).

Функция f ∈ [A→B] называется сюръективной, если из Ran(f) = B.

Функция, являющаяся одновременно инъективной и cюръективной, называется биективной.