Function

algebra set-theory

Definition

Function

A function $f$ is a relation between two sets $A$ and $B$ where each $a\in A$ is in relation to exactly one $b\in B$:

$$\forall a\in A:\exists !b\in B:f(a)=b$$