6.2 子空间

用子空间测试把真正的线性结构，和那些缺少封闭性或零向量的集合分开。