Se denomina grado de la extensión formula_4 a la dimensión de formula_1 como formula_2-espacio vectorial: formula_7.