injective left inverse