制限 (数学)
数学における写像の制限（せいげん、）は、写像のもともとの定義域に対して、写像による対応関係を変えることなくそれよりも小さい集合を定義域に取り直す操作を言う。同様の概念はより一般に二項関係や多項関係などに対しても定義することができる。
写像 の定義域の部分集合 への制限として得られる写像を あるいは formula_1 で表す。