Hay dos tipos importantes de congruencias: