方程的定义,等式的性质