Definition:Right Congruence Modulo Subgroup