Definition, synonyms and related words
An algebra composed of a set and a family of multioperations on that set