En ækvivalensklasse er i matematikken en mængde af ækvivalente objekter. Dette er selvfølgelig mht. til en given ækvivalensrelation. Lad derfor ~ være en ækvivalensrelation på en mængde X. Typisk skriver man ækvivalensklasser vha. en repræsentant a ∈ X for klassen, så

[a] := { b ∈ X | a ~ b }.

Mængden af disse ækvivalensklasser udgør en partition af X, og skrives X/~. Dvs. foreningen af alle ækvivalensklasser udgør hele X, og de er alle parvist disjunkte.