This is a formal property of a function, called an injective function: https://en.wikipedia.org/wiki/Injective_function https://en.wikipedia.org/wiki/Injective_

This is a formal property of a function, called an injective function: https://en.wikipedia.org/wiki/Injective_function https://en.wikipedia.org/wiki/Injective_function