Dadas las funciones f: A → B y g: B → C, (o sea, donde la imagen de f está contenida en el dominio de g), se define una función composición (g ο f ): A → C tal que (g ο f)(x) = g (f(x)), para todos los elementos x de A.


ese fue en ejemplo de funciones
ejemplo de la aplicación no inyectiva y sobreyectiva
nos muestra que una aplicación no inyectiva tiene al menos un elemento imagen que tiene dos o más orígenes y una sobreyectiva todos los elementos del conjunto final tienen al menos un elemento origen.
En el diagrama de Venn corresponden a las aplicaciones que no pertenecen a A y si pertenecen a B, esto es las que pertenecen a la diferencia de B y A:B-A.
Para esta aplicación el conjunto X ha de tener mayor número de elementos que Y, la cardinalidad de X ha de ser mayor que la de Y.
el cual queda asi
