a module over a field, which also carries a multiplication operation that is compatible with the module structureVector Space NotionSubspaceBasis VectorInner Product spaceDisjoint vector space