Wird jedem Element einer Menge
genau ein Element einer Menge 
zugeordnet, dann heißt diese Zuordnung eine Funktion. Die Menge
heißt Definitionsmenge, die Menge Wertemenge der Funktion. Anstelle von wird meist auch nur die Zielmenge, also der Wertevorrat angegeben. Man schreibt:
, 
und nennt 
die Zuordnungsvorschrift, 
den Funktionsterm und 
die Funktionsgleichung.