Ist f : A -> B eine Funktion, d.h. eine Zuordnung von der Menge A in die Menge B, so heißt die Menge A ihr Definitionsbereich. Man sagt auch, dass f auf der Menge A definiert ist. Ist f durch einen Term in einer Variablen x gegeben (siehe Termdarstellung), so darf A nur solche x-Werte enthalten, für die der Term einen Sinn macht, d.h. wohldefiniert ist.
So darf zum Beispiel der Definitionsbereich für die Funktion x -> 1/x die Zahl 0 nicht enthalten. Als ihr Definitionsbereich kann daher (im Rahmen der rellen Zahlen) die Menge der von Null verschiedenen reellen Zahlen (oder eine Teilmenge davon) gewählt werden.