Let $V$ be a vector space. The dimension of $V$ is the cardinal number of any basis for $V$.
Wikidata ID: Q929302