nLab
restriction

Contents

Contents

Definition

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 16, 2018 at 08:37:26. See the history of this page for a list of all contributions to it.