Побудована сукупність множин { SiR | i∈I} є фактор-множиною множини M за еквівалентністю R і позначається M/R. Очевидно, що будь-які два елементи з одного класу SiR еквівалентні між собою, в той час як будь-які два елементи з різних класів фактор-множини M/R нееквівалентні.