Adott az $f: A \mapsto B$ függvény. A függvény értelmezési tartománya azoknak az elemeknek a halmaza az $A$ halmazban, amikhez a függvény hozzárendel $B$ halmazbeli elemeket.
Az értelmezési tartományt az angol domain szó alapján, ami egyébként azt jelenti, hogy tartomány, így jelöljük: $D_f$.
De a gyengébb idegzetűek kedvéért szokás úgy is jelölni, hogy É.T.