I am having trouble starting off with the two following problems.
- Let a R b on Q^+ if and only if a = b^k for some k is an element of Q
- Let a ~b on Z if and only if 7 divides (a-b)
Can somebody show me how to prove the reflexive property for each. I can prove symmetric and transitive if I see how to approach each problem. Thanks