Definizione

Su $\Z/_\equiv$ definiamo

$$ [a]+[b]=[a+b] \\ [a]\cdot [b] = [a\cdot b] $$