Definition:Dimension of Vector