Def/Vector space