Consider the following relation R on the set of positive integers:
R = {(x,y)|gcd(x,y)} = 1
Is this relation 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.