Функцией \(f:X\to Y\) называется правило, которое каждому \(x\in X\) сопоставляет ровно один элемент \(y\in Y\). Элемент \(y\) обозначают \(f(x)\). Множество \(X\) является областью определения. Совокупность всех значений \(f(x)\), когда \(x\) пробегает \(X\), образует область значений функции. Это множество называют также образом функции и обозначают \(f(X)\). Иногда используют обозначение \(\operatorname{Im}f\). Оно является подмножеством \(Y\).1
График и композиция
График функции — множество
\[\Gamma_f=\{(x,y)\mid y=f(x),\ x\in X\}.\]
Поэтому \(\Gamma_f\subseteq X\times Y\). Обратно, подмножество \(X\times Y\) задаёт график функции, если каждому \(x\in X\) соответствует ровно одна пара с первой компонентой \(x\).1
Если \(f:X\to Y\) и \(g:Y\to Z\), то композиция \(g\circ f:X\to Z\) задаётся формулой \((g\circ f)(x)=g(f(x))\). Сначала применяется \(f\), затем \(g\). Композиция ассоциативна, но в общем случае не коммутативна.1
Инъекция, сюръекция и биекция
Функция \(f:X\to Y\) называется инъекцией, если из \(f(x)=f(z)\) следует \(x=z\). Она называется сюръекцией, если для каждого \(y\in Y\) существует хотя бы один \(x\in X\) такой, что \(f(x)=y\). Биекция одновременно является инъекцией и сюръекцией.1
Обратная функция
Если \(f:X\to Y\) — биекция, то каждому \(y\in Y\) соответствует ровно один \(x\in X\) с \(f(x)=y\). Это позволяет определить обратную функцию \(f^{-1}:Y\to X\). Существование обеспечивается сюръективностью \(f\), а единственность соответствующего \(x\) — её инъективностью. Обратная функция \(f^{-1}\) сама является биекцией.1