Definition, synonyms and related words
A mathematical construct that resembles a module, except that the underlying abelian group is replaced with an abelian semigroup, so the elements do not necessarily have inverses.