Vector space/Basis/Definition