Sei \(A\) eine Klasse (meist Menge), \(a \in A\) und \(\sim\) eine Äquivalenzrelation auf \(A\).
Dann ist \([a]_{\sim}\) die Klasse (meist Menge) aller zu \(a\) äquivalenter Elemente in \(A\)
\begin{align*}
[a]_{\sim} \coloneqq \{b \in A \vert b \sim a\}
\end{align*}