Dimensão como cardinal máximo de um sistema de vectores linearmente independente e dimensão como cardinal minímo de um sistema de vectores gerador. Exemplos. Critérios para um sistema de vectores de cardinal igual à dimensão do espaço ser uma base. Exemplo. Teorema do Completamento para bases. Subespaços vectorial de um espaço vectorial finitamente gerado. Dimensão do conjunto-solução de um sistema de equações lineares homogéneo. Bases do espaço das linhas e bases do espaço das colunas de uma matriz em forma de escada. Independência linear de sistemas de vectores formados por colunas de uma matriz e matrizes equivalentes.