nLab
restriction

Contents

Definiion

The restriction of a function f:XYf: X \to Y to a subset UU of XX is simply the composite of ff and the inclusion function of UU:

Ui UXfY. U \stackrel{i_U}\to X \stackrel{f}\to Y .

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

Last revised on November 14, 2017 at 06:49:31. See the history of this page for a list of all contributions to it.