写像
定義（関数・写像）
集合 A の全ての要素に対し，その要素を入力すると，集合 B の特定の要素をただ一つ出力するものを関数 (function) または写像 (mapping) という。
このとき，A をその写像の定義域 (始域; domain) といい，B を終域 (codomain) という。
またこのとき，A を入力したときの出力となり得る B の部分集合全体を関数(写像)の値域 (像; range) という。
写像（しゃぞう、英: mapping, map）は、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。関数、変換、作用素、射などが写像の同義語として用いられることもある。