In mathematics, the restriction of a function f {\displaystyle f} is a new function, denoted f | A {\displaystyle f\vert _{A}} or f ↾ A, {\displaystyle f{\upharpoonright _{A}},} obtained by choosing a smaller domain A {\displaystyle A} for the original function f.