Formalmente, dado un espacio vectorial "V" de dimensión "n" y un subconjunto formula_5 de vectores de este espacio, este último es una base de "V" si se cumple que