Egy kifejezés értelmezési tartományán azt a legbővebb halmazt értjük, ahol értelmezve van.
Függvény esetén azokat a szerencsés $x$-eket, amelyekhez a függvény hozzárendel egy $y$ számot, a függvény értelmezési tartományának nevezzük.
A következőket érdemes megjegyezni:
\( \sqrt[ \text{páros}]{ \text{ez itt} \geq 0} \quad \sqrt[ \text{páratlan} ]{ \text{ez itt bármi}} \quad \log{ \left( \text{ez itt} > 0 \right)} \quad \text{ tört nevező} \neq 0 \)
pl.: $ f(x)=\frac{4x}{(x-3)^4} $ értelmezési tartománya $ \forall x \in R \setminus \{ -3 \} $, mert nincs gyök és nincs logaritmus, de tört van, tehát a nevező nem lehet nulla ($x \neq 3$)
Azok a szerencsés x-ek, amelyekhez a függvény hozzárendel egy y számot.