Call a relation R “orbital” if xRy and yRz imply zRx. Prove that R is an equivalence relation if and only R is both reflexive and orbital. (Note that this is an “if and only if” statement, which is bi-conditional. So there are actually two different implications to show here.)
How do I start to prove that this is a relation?
2 answers