...Notice that m and n are equal elements of A, and that (m, n) ? (R n R-1). Therefore, ? (m, n) ? (R n R-1), (m, n) ? {(a, a): a ? A}. Thus, by definition of subset, (R n R-1) ? {(a, a): a ? A}. Therefore, if R on A is antisymmetric, R n R-1 ? {(a, a): a ? A}.
It has been shown that if R n R... (read more)