Definition:Dimension (Linear Algebra)

Also see

 * Dimension of Free Module is Well-Defined