定義域
任意の写像は、定義域をその任意の部分集合に限ることができる。写像 g: A → B の S ⊆ A なる集合への制限 (restriction) は g|S: S → B と書く。逆に、写像 f: S → B が f = g|S を満たすとき、g は f の A への拡張あるいは延長 (extension) であるという。