Dimensão como cardinal máximo de um sistema de vectores linearmente independente e dimensão como cardinal mínimo 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 vectoriais de um espaço vectorial finitamente gerado. Dimensão do conjunto-solução de um sistema de equações lineares homogéneo. Base do espaço das linhas e base do espaço das colunas de uma matriz em forma de escada.