y=|x| injective for x>0