Definition, synonyms and related words
A group obtained from a larger group by aggregating elements via an equivalence relation that preserves group structure.