Equivalent Statements for Left Congruence Modulo Subgroup