f:B--C örten ve g:A--B örten olduğununa göre fog:A--C örten midir?

g nin örten olması zaten fog açısından zorunludur . burada f nin örten oması fog unda örten olmasını gerektirir aslında herşey örten tanımına baktığınızda gayet net sonuç olarak:
f örten ve g örten ise fog bileşke fonksiyonuda örtendir...