Restriktion einer Abbildung, eine Abbildungg : C → B so, daß gilt:

Es liegt eine Abbildung f : A → B vor, C ist eine Teilmenge von A, und \begin{eqnarray}g(x)=f(x)\space \mathrm{f\ddot{u}r}\space \mathrm{alle}\space x\in C.\end{eqnarray}g ist dann die Einschränkung von f. Man schreibt g = f|C oder f_|C (lies: f eingeschränkt auf C, siehe auch Einschränkung eines Operators).