Basic Properties of Congruence