@jedws There is always such an injective+surjective function, `lossless`.