Originally Posted by

**sflink** 1) "By the definition of R we see that there are no ordered pairsin R where the first entry of one and the second entry of another is the

same..."

I do not understand what the definition of R is, nor what they mean by the first entry of one and the second entry of another is the same.

2) "...so the hypothesis, ..., cannot be true."

Maybe because I do not understand #1 above, I also do not understand this conclusion.

3) "...this shows that the implication is true"

I obviously do not understand this either.