Definition:Left Congruence Modulo Subgroup