7.1.1 Defining Congruence