Lesson 11 - Definition of congruence and some basic properties