Definition of 0ne-one function:

is one-one if implies .

Now let and .

I know the logical statement is true, since were is true and is true, is true by vacuous proof, but it's not the definition of one-one function.

Question: How can we prove using the definition?

(blank)= (blank) implies blank = blank or

implies = ?