M中任何有限个向量的线性组合都线性无关;X中任一向量都可以表示成M中有限个向量的线性组合