Porównania

Niech $A\subset X$ i niech $f:X\mapsto Y$. Zacieśnieniem (inaczej: zawężeniem lub restrykcją) funkcji $f$ do zbioru $A$ nazywamy funkcję $f_{|A}:A\mapsto Y$ równą funkcji $f$ na zbiorze $A$, tzn. $\mathrm{\forall }x\in A:f_{|A}(x)=f(x)$.