Сужение функции
Сужение функции на подмножество её области определения — функция с областью определения , совпадающая с исходной функцией на всём .
Сужение функции на обычно обозначается или .
Так, для , и , означает, что и для любого .
Пусть дано отображение и .
Функция , которая принимает на те же значения, что и функция , называется суже́нием (или, иначе ограничением) функции на множество .
Если функция такова, что она является сужением для некоторой функции , то функция , в свою очередь, называется продолжением функции на множество .