Перейти до вмісту

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

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

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

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

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

Див. також

[ред. | ред. код]

Примітки

[ред. | ред. код]

Література

[ред. | ред. код]