Eine Funktion von einer Menge (dem Definitionsbereich) in eine Menge (dem Zielbereich) ist eine Vorschrift, die jedem Element genau ein zuordnet. Die Menge aller tatsächlichen Ausgaben ist der Wertebereich.
Funktionen sind das Rückgrat der gesamten Mathematik — die Analysis untersucht ihre Ableitungen und Integrale, die lineare Algebra lineare Funktionen (Matrizen) und die Informatik sie als Algorithmen.
Eine Funktion kann definiert werden durch:
- eine Formel (),
- einen Graphen (Menge der Punkte ),
- eine Tabelle von Eingabe-Ausgabe-Paaren,
- oder eine verbale Vorschrift.
Der Senkrechtentest unterscheidet Funktionen von beliebigen Relationen: jede senkrechte Gerade schneidet den Graphen einer Funktion höchstens einmal.