对给定的向量组设向量组是的一个极大无关组，则向量组中的向量都包含在向量组中.;向量组中，如果线性无关，则一定存在向量组的一个极大无关组，使得这个极大无关组包含.