manchmal auch Faser genannt, Menge der bezüglich einer gegebenen Äquivalenzrelation „gleichen“ Elemente.

Genauer gilt: Ist die Menge M mit einer Äquivalenzrelation versehen, so besteht für x ∈ M die Äquivalenzklasse [x] aus allen Elementen von M, die zu x in Relation stehen.