Defines a quotient group or ring, modulo a normal subgroup or ideal.