二元一次方程组的定义