Definition:Finite Dimensional Vector Space