A mapping f from X to Y is called injective if any two elements of X with the same image must be equal.