total injective function