Classe de equivalentia

Si $\sim$ es un relation de equivalentia sur un insimul $A\ne \mathrm{\varnothing }$, le subinsimul $[a{]}_{\sim }:=\{b\in A\mid b\sim a\}$ de omne elementos equivalente a $a\in A$ se nomina le classe de equivalentiaPatrono:LinfoX de $a$ relative a $\sim$.