Фактор-множина

Матеріал з Вікіпедії — вільної енциклопедії.

Множина́ всіх класів еквівалентності деякої множини А, утворених за відношенням еквівалентності ~, називається фактормножиною множини А за даним відношенням еквівалентності. Позначається А/~.

Фактормножина А/~ визначає розбиття множини на підмножини, які попарно не перерізаються – на класи еквівалентності.