are injective functions invertible