Definition:Dimension (Linear Algebra)