Domain

The set of allowed inputs of a function
Domain

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

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:RRf:\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:SAi:S\to A with SAS\subseteq A, the domain is SS.