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żenieminiekcji z suriekcją. Innymi słowy dla każdej funkcji istnieją zbiór iniekcja oraz suriekcja takie, że [1].