Relation Properties: Symmetric vs. Antisymmetric (and the Diagonal)

Symmetric closes every pair under swapping; antisymmetric forbids two-way arrows between distinct points. The only relations that are both are subsets of the diagonal I = {(x,x)}.