Cho hai ánh xạ <span class="katex-r" data-latex="displaystyle f: X to Y"></span> và <span class="katex-r" data-latex="displaystyle g: Y to Z"></span>. Chứng m∈h rằng nếu ánh xạ hợp <span class="katex-r" data-latex="displaystyle g cc f: X to Z"></span> là một đơn ánh thì <span class="katex-r" data-latex="displaystyle f"></span> bắt buộc phải là đơn ánh. Đẳng thức hay tính chất này có đúng cho <span class="katex-r" data-latex="displaystyle g"></span> không? Tại sao?