Def/Restriction of functions

 =Properties= If $f \colon X \rightarrow Y$ is an injective function, and $S \subset X$, then $f \vert_S$ is an injective function from $S$ to $Y$.