Функция

Функцией \(f\), определённой на множестве \(X\) и отображающей \(X\) в \(Y\) называется подмножество декартова произведения \(X \times Y : \forall x \in X \exists ! y \in Y : (x, y)\) принадлежит этому подмножетву (оно обычно тоже обозначается \(f\)).