Def/Basis (vector space)