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