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

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

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

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

Див. також

Примітки

Література

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.