集合間の写像の定義

\(f\)が集合\(S\)から集合\(T\)への写像であるとは、

\begin{align}
f:S \to T \hspace{10mm} S \xrightarrow{f} T
\end{align}

などと表す。これを一つの図で

\begin{align}
f:&\mathbb{R} \to \mathbb{R} \\
& x \to f(x)
\end{align}

と表現する。