A domain is the set of inputs of a function: if f:A→Bf:A\to B is a , then its domain is the set AA.

Remarks

Changing the domain (for example by taking a ) produces a new function, even if the output rule looks the same. The elements of the domain appear as the first components of in the of ff.

Examples
  • For f:R→Rf:\mathbb{R}\to\mathbb{R} defined by f(x)=x2f(x)=x^2, the domain is R\mathbb{R} (the ).
  • For the inclusion map i:S→Ai:S\to A with S⊆AS\subseteq A, the domain is SS.