Restriction (mathematics)

In mathematics, the restriction of a function f is a new function f|_A obtained by choosing a smaller domain A for the original function f. The notation ${\displaystyle f{\upharpoonright _{A}}}$ is also used.

Let f : E → F be a function from a set E to a set F, so that the domain of f is in E (${\displaystyle \mathrm {dom} \,f\subseteq E}$). If a set A is a subset of E, then the restriction of f to A is the function

...
Wikipedia