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

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

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

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

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

Див. також

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

Примітки

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

Література

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