Equivalent Statements for Right Congruence Modulo Subgroup