Twierdzenie o faktoryzacji

Diagram przemienny przedstawiający, że każda funkcja jest złożeniem iniekcji z suriekcją

Twierdzenie o faktoryzacji – twierdzenie teorii mnogości mówiące, że każda funkcja jest złożeniem iniekcji z suriekcją. Innymi słowy dla każdej funkcji $f:X\to Y$ istnieją zbiór $Q,$ iniekcja $I:Q\to Y$ oraz suriekcja $S:X\to Q$ takie, że $f=I\circ S$.

Zobacz też

• Jądro (teoria mnogości)
• Twierdzenia o izomorfizmie