Vector space/Direct/Definition