Restrição de função

Em matemática, A restrição de função $f$ é uma função cujo domínio é restrito a um subconjunto do domínio da função original.

Em outras palavras, considere uma função $f:A\longrightarrow B$ e um conjunto X, tal que $X\subset A$. A restrição de função $f:A\longrightarrow B$ a um conjunto $X\subset A$ é a função $f|X:X\longrightarrow B$, tal que $(f|X)(x)=f(x)$ para todo $x\in X$.