well defined vs injective