写像（しゃぞう、）は、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。関数、変換、作用素、射などが写像の同義語として用いられることもある。
ブルバキに見られるように、写像は集合とともに現代数学の基礎となる道具の一つである。現代的な立場では、「写像」と（一価の）「関数」は論理的におなじ概念を表すものと理解されているが、歴史的には「関数」の語は解析学に出自を持つものであり、一部には必ずしも写像でないものも関数の名の下におなじ範疇に扱われる（多価関数参照）。文献によっては「数の集合（大抵の場合実数体 または複素数体 の部分集合）を終域に持つ写像」をして特に「関数」と呼び、「写像」はより一般の場合に用いる。関数、二項関係、対応の各項も参照のこと。
定義.
素朴な説明.
集合 の各元に対してそれぞれ集合 の元をただひとつずつ指定するような規則 が与えられているとき、 を「定義域（あるいは始域） から終域 への写像」といい
などと表す。また は で（あるいは の上で）定義されているといい、あるいはまた は に（あるいは の中に）値を持つという。始域 を 、終域 を のように記すこともある。また、 の元 に対して によって指定される の元が である（このことを、 が によって に写されるという）とき、 を における の像あるいは値（あたい、）と呼び、 を で表す。 によって の元 が の元 に写されることは、
という記法で表される。。
相等関係.
関係の一種として定義する場合.
集合論においては、集合 , の元の順序対からなる集合（すなわち二項関係） が
の二つをみたすとき、 を から への関数と呼び、 で表す。またこのとき、 であることを と書く。この文脈では、 と のグラフ } を同一視し、関数と写像を同じ意味に用いる。
二つの写像 と の相等は、集合として同一であるということ、すなわち
ということであるが、これは（ と の定義域が等しく、かつ）任意の に対して であることと同値である。
一方、圏論の用語との整合性を重んじる文脈では、次のようになる。
集合 , の元の順序対からなる集合（すなわち二項関係） が