写像とそのグラフ

$X, Y$ を集合とする。関係 $G \subseteq X \times Y$ が

を満たすとき、$G$ を $X$ から $Y$ への写像といい、$f : X \to Y$ と書く。$x \in X$ に対し $(x, y) \in G$ となる唯一の $y$ を $f(x)$ と書く。$G$ を $f$ のグラフといい $\Gamma_f = \{\, (x, f(x)) \mid x \in X \,\}$ と書く。(F) の「少なくとも 1 つ」を全域性、「高々 1 つ」を一価性という。