https://www.glc.us.es/~jalonso/calculemus/la-composicion-por-la-izquierda-con-una-inyectiva-es-una-operacion-inyectiva/
La composiciĆ³n por la izquierda con una inyectiva es una operaciĆ³n inyectiva