方程组的定义