Anti-Symmetric Relation

A Predicate $\sim :A\text{texttimes}A\to \mathrm{Prop}$ is antisymmetric iff

$$\forall x,y:A.x\sim y\to y\sim x\to \perp$$