方程式
解を求める対応関係
恒等式との違い→限定的