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