Funksjon

En funksjon fra A til B er en binær relsasjon f fra A til B slik at for enhver x ∈ A, er det nøyaktig ett element y ∈ B slik at ⟨x,y⟩ ∈ f. Vi skriver f(x)=y når ⟨x,y⟩ ∈ f. I dette tilfellet kaller vi x for argumentet og f(x) for verdien til funksjonen. Vi skriver f: A -> B for funksjonen f når den er en funksjon fra A til B.