Types of congruence transformations