Más formalmente la dimensión de un espacio vectorial se define como el cardinal de una base vectorial para dicho espacio.