composition of injective functions