Congruenza come relazione di equivalenza