Cho tập hoepj X,Y,Z và các ánh xạ f: X->Y g:Y->Z. Giả thiết f toàn ánh g o f đơn ánh. Cm g là đơn ánh