1. A group G modulo a subgroup H is the quotient group G/H of cosets of H in G.

2. A technique of identifying elements in an algebraic structure in such a manner that the resulting collection of identified objects is the same type of structure.