Puede demostrarse que todas las bases de un espacio vectorial son conjuntos con el mismo número de elementos (es decir, conjuntos que tienen el mismo cardinal).