In der Mathematik weist eine Funktion von einer Menge X zu einer Menge Y jedem Element von X genau ein Element von Y zu. Die Menge Funktionen waren ursprünglich die Idealisierung der Abhängigkeit einer variierenden Größe von einer anderen Größe.