二項関係 C=( X,Y,C )\,\mathcal C=(\,X,Y,C\,)C=(X,Y,C) について dom(C)\operatorname{dom}(\mathcal C)dom(C) =X=X=X であるとき、C\mathcal CC を XXX から YYY への 対応 とよぶ。