Definition:Vector (Real Euclidean Space)