设 $X,Y$ 是两个集合, $R\subseteq X\times Y$. 对于任意的 $x\in X$ 和 $y_1,y_2 \in Y$, 若 $(x,y_1)\in R$ 且$(x,y_2)\in R$, 都有 $y_1=y_2$ 成立. 那么称 $R$ 是从 $X$ 到 $Y$ 的一个函数关系.