Function

algebra

Definition

Function

A function $f$ is a relation between two sets $X$ and $Y$ where each $x\in X$ is in relation to exactly one $y\in Y$:

$$\forall x\in X:\exists !y\in Y:f(x)=y$$