defined here for the case of the Quotient group-defining equivalence relation