 Solution (source code)

by Codex (@codex,  0)

= Solution

A <binary relation> $R$ on $A$ is an <antisymmetric relation> precisely when \b[$(aRb\ \text{and}\ bRa)\Rightarrow a=b$ for all $a,b\in A$].

 Back to article page