Eine Relation ist die Zuordnung eines Wertes einer Ausgangsmenge (x-Wert) zu mindestens einem Wert in einer Zielmenge (y-Wert). Dabei kann einem Ausgangswert (x) auch mehrere Zielwerte (y) zugewiesen werden. Bei einer Relation kann die Zuordnung mehrdeutig sein.
Eine Relation bei der die Zuordnung ein eindeutig ist. Dabei darf jedem Ausgangswert (x) maximal EIN Zielwert (y) zugewiesen werden. Bei einer Funktion ist die Zuordnung also eindeutig.