一元一次方程的七个定义两个性质是什么