A binary relation \(\mathrel{R}\), on a set \(S\), is anti-symmetric if and only if:

The less than or equal to relation is anti-symmetric.

Proof unavailable