# Domain of a function

If a real function f is given by a formula, it may be not defined for some values of the variable. In this case, it is a partial function, and the set of real numbers on which the formula can be evaluated to a real number is called the **natural domain** or **domain of definition** of f. In many contexts, a partial function is called simply a *function*, and its natural domain is called simply its *domain*.

For example, it is sometimes convenient in set theory to permit the domain of a function to be a proper class X, in which case there is formally no such thing as a triple (*X*, *Y*, *G*). With such a definition, functions do not have a domain, although some authors still use it informally after introducing a function in the form *f*: *X* → *Y*.^{[2]}