# 写像の縮小 $f: A \rightarrow B$, $f': A' \rightarrow B$, $A' \subset A$とする。 そのとき、$A'$のすべての元$a$に対して$f(a) = f'(a)$となっているならば、$f'$を$f$の$A$への**縮小**という。 定義域を$A$から$A'$に狭めた、ということである。 しばしば、$f|A'$と表す。 縮小は一意に定まる。 # 写像の拡大 $f: A \rightarrow B$, $f': A' \rightarrow B$, $A' \subset A$とする。 そのとき、$A'$のすべての元$a$に対して$f(a) = f'(a)$となっているならば、$f$を$f'$の$A$への**拡大**という。 定義域を$A'$から$A$に広げた、ということである。 縮小と異なり、拡大は多数存在する。