Comment by bah_humbug

The definition of antisymmetric relations is an unusual one. As given, it's incompatible with the definition of reflexivity (presumably there's an implicit assumption on `a ≠ b`).

The usual definition is `x ≤ y AND y ≤ x → x = y`.