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