Una relazione binaria è detta relazione di equivalenza se rispetta le seguenti proprietà:
Su $\mathbb{Z}$ definisci $a\sim b \iff a-b$ è multiplo di 3. È riflessiva, simmetrica e transitiva, quindi di equivalenza.