対応する

対応 $\,\mathcal C$ について $(x,y)\in \operatorname{grf}(\mathcal C)$ であるとき、$\mathcal C$ によって $x$ に $y$ が 対応する という。