Determine whether the binary relation R on Z, where aRb means a^2 = b^2, is reflexive, symmetric, antisymmetric, and/or transitive.
A binary relation is examined as to whether it is reflexive, symmetric, antisymmetric, and/or transitive. The solution is concise but thorough.