Determine whether the binary relation R on Z, where aRb means |a-b| <= 1, is reflexive, symmetric, antisymmetric, and/or transitive.
A binary relation is thoroughly examined as to whether it is reflexive, symmetric, antisymmetric, and/or transitive. The solution is detailed and well presented.