Del mismo modo, la composición de funciones onto (sobreyectivas) es siempre onto.