Consider the relation on the set defined by if and only if . Then, among the statements:
I. The number of elements in is 17
II. is an equivalence relation
Solution
Solution
Count the pairs. means , since is an integer.
- If or : , which works. That gives pairs.
- Otherwise must have the same sign: both in gives pairs, both in gives pairs.
So . Statement I is true.
Equivalence? is reflexive () and symmetric (), but not transitive: and , yet , so . Statement II is false.
Answer: only I is true.
Answer checked against the official answer key. The solution is our own working.