Toutes les bases d'un espace vectoriel ont la même cardinalité -LRB- nombre d'éléments -RRB-, appelée dimension de l'espace vectoriel.
La dimension d'un espace vectoriel donné est le nombre d'éléments de la base.