Congruence in Transformations