Si ∼ {\displaystyle \sim } es un relation de equivalentia sur un insimul A ≠ ∅ {\displaystyle A\neq \emptyset } , le subinsimul [ a ] ∼ := { b ∈ A ∣ b ∼ a } {\displaystyle [a]_{\sim }:=\{b\in A\mid b\sim a\}} de omne elementos equivalente a a ∈ A {\displaystyle a\in A} se nomina le classe de equivalentia[1] de a {\displaystyle a} relative a ∼ {\displaystyle \sim } .
![{\displaystyle [a]_{\sim }:=\{b\in A\mid b\sim a\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fc55f54e6763029c99b53437cad60af6e3d3995)
