left inverse injective