Domain of a partial function (source code)

= Domain of a partial function

For a partial function $f:X\rightharpoonup Y$, the domain is the subset $\{x\in X:f(x)\text{ is defined}\}$. Outside this subset, evaluation of $f$ is undefined.