4.11. 写像とは¶
写像（しゃぞう、英: mapping, map、 仏: application）とは、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。函数（関数）、変換、作用素、射などが写像の同義語として用いられることもある。
いま、\(X\), \(Y\)を集合とします。\(X\)の要素を一つ決めると、\(Y\)の要素が一つ決まるような対応関係\(f\)を写像といい、\(f:X \rightarrow Y\)と書きます。