| 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. |
| Definisjons området | La f være en funksjon fra A til B.
Mengden A kalles definisjonsområdet til f |
| Verdiområdet | La f være en funksjon fra A til B.
Mengden B kalles verdiområdet til f |
| Injektiv | En funksjon f: A -> B er injektiv hvis det for alle elementer x og y i A slik at hvis x ≠ y, så f(x) ≠ f(y). Vi sier i så fall at f er en injeksjon og en-til-en. |
| Surjektiv | En funksjon f: A -> B er surjektiv hvis det for alle y ∈ B, finnes en x ∈ A slik at f(x) = y. |
| Bijektiv | En funksjon er bijektiv hvis den er injektiv og surjektiv. Vi sier også at funksjonen er en bijeksjon og en en-til-en korrespondanse. |
| Bildemengde | La f være en funksjon fra A til B, og la X være en delmengde av A. Mengden {f(x)|x ∈ X} kalles bildet av X under f, og skrives f[x]. Bildet av hele A under f, f[A], kalles bildemengden til f. Bildemengden til en funksjon er det som blir «truffet» av funksjonen. |
