Відкрити головне меню

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

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

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

Див. такожРедагувати

ЛітератураРедагувати