Restriction

Definition: Restriction

Let $f:X\to Y$ be a function.

The restriction of $f$ on a subset $S\subseteq X$ is the function $f{|}_S:S\to Y$ defined as

$$f{|}_S(x)=f(x)\forall x\in S$$