対応とは 数学