最大線性無關組

若向量組是向量組的一個部分組 ， 即 ， 且滿足 ： 線性無關 。 中的任一向量皆可由線性表示 ； 即中的任一向量加到 ， 皆可使線性相關 。 則稱是向量組的最大線性無關組 。