Teorema de Steinitz. Exemplo. Dimensão de um espaço vectorial (finitamente gerado). Exemplos. 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.