O is the relation defined on Z as follows: For every m, n in Z, mOn ⇔ m-n is odd.
a) O is reflexive and symmetric, but not transitive
b) O is reflexive, symmetric, and transitive
c) O is symmetric, but not reflexive or transitive
d) O is not reflexive, symmetric, or transitive