La siguiente proposición proporciona, varios enunciados equivalentes a la noción de congruencia anterior.