Una classe di equivalenza è l’insieme degli elementi equivalenti a un dato elemento rispetto a una relazione di equivalenza.
$$ [a]=\{ x\in A : x \sim a \} $$
In questa notazione, $a$ è detto rappresentante della classe.
Con la relazione “stessa parità” su $\mathbb{Z}$, le classi sono $[0]=\{\ldots,-2,0,2,\ldots\}$ e$[1]=\{\ldots,-1,1,3,\ldots\}$.