up:: Finitely Generated Vector Space

A (finitely generated) vector space is said to have dimension equal to if it has any Hamel Basis with elements1. We denote it .

Footnotes

  1. And this is unambiguous, since All Hamel bases have the same number of elements (in a finitely generated vector space).