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 = ?