Фа́ктор-множино́ю[1] множини за заданим відношенням еквівалентності ~, називається множина всіх класів еквівалентності множини , утворених цим відношенням.

Позначається .

Фактор-множина визначає розбиття множини на підмножини (класи еквівалентності), які попарно не перетинаються.

Див. також ред.

Примітки ред.

Література ред.