Por lo observado arriba, esta relación satisface la condición (i) para ser congruencia.