関数

2つの集合 $A,B$ において,集合 $A$ の1つの要素 $a$ を定めたとき,それに対応する集合 $B$ の要素 $b$ が必ず1つ定まるとき,この対応のことを集合 $A$ から集合 $B$ への写像といい,\[f:a \mapsto b \]もしくは,\[f(a) = b \]と表す.
$f(a)$ を写像 $f$ による要素 $a$ の像という.
集合 $B$ が数の集合である場合,写像 $f$ は関数 $f$ とよばれる.