...The following is a proof done by me on antisymmetric relations, followed by a shorter proof on set intersection of set differences. Set notation is displayed as "?" on this site, obscuring details
A relation R on a set A is antisymmetric if and only if R n R-1 ? {(a, a): a ? A}.
It will f... (read more)