##### 限制映射 - 限制映射 - **限制映射**用于描述将一个[[映射]]定义域限制在某个[[子集]]上的行为. 给定一个映射 $f:X\to Y$ 和一个子集 $S\subseteq A$, 限制映射 $f|_S​:S\to Y$ 是将 $f$ 的定义域限制在 $S$ 上得到的映射, 反过来也称 $f$ 是 $f|_S$ 的扩张映射