| context | V… F-vector space |
| definiendum | dim(V)≡card(B) |
| context | B∈basis(V) |
For finite vector spaces, the basis cardinality dim(V) is the only invariant w.r.t. vector space isomorphisms.
The Zero vector space has an empty base. Its vector space dimension is zero.
Wikipedia: Vector space