7.2.1 线性方程组定义