Congruence and properties