# nLab restriction

The restriction of a function $f: X \to Y$ to a subset $U$ of $X$ is simply the composite of $f$ and the inclusion function of $U$:

$U \stackrel{i_U}\to X \stackrel{f}\to Y .$

It is often written as $f_{|U}: U \to Y$, or a variation on that theme.

Created on July 24, 2009 21:57:45 by Toby Bartels (71.104.230.172)