Let and be nonempty finite sets. For to be a function, it must satisfy this condition:

.

Now, if I make and , the statement of implication becomes

, from which we know that the statement of implication is true, since

False False is a true statement. In this regard, I have a question:

Is a function?