Buď neprázdná množina a ekvivalence na .
- Rozklad množiny na třídy prvků v nazýváme faktorová množina množiny (faktormnožina, quotient set)
Pro zdůraznění vztahu s ekvivalencí budeme namísto používat značení:
- Třídy můžeme také nazývat třídami ekvivalence nebo třídami rozkladu.
Jelikož pro každý prvek platí , každý prvek dané třídy můžeme nazvat jejím reprezentantem.