Якщо g o f є ін'єктивною, то f також ін'єктивна. Якщо обидві f та g ін'єктивні, то g o f ін'єктивна. f : X → Y ін'єктивна тоді й тільки тоді, коли для будь-яких функцій g, h : W → X, де f o g = f o h, виконується рівність g = h.