logo
АТЧ_Моисеев_С

§ 1. Теорема о факторизации

Отношение равноóбразности. rf. Естественная сюръекция множества А на фактор-множество А/r.

Теорема о факторизации. Пусть f: A ® B – сюръекция, r = rf – соответствующее f отношение равноóбразности, С = А/r – соответствующее r фактор-множество, j – естественная сюръекция А на фактор-множество А/r. Тогда существует, причём единственная, биекция q: С ® B, обладающая свойством f = q°j.