Antisymmetric relation (source code)

= Antisymmetric relation
{wiki}

A relation $\mathrel R$ is antisymmetric when $x\mathrel R y$ and $y\mathrel R x$ together imply $x=y$.