Definition talk:Antisymmetric Relation

Convenient Logical Equivalents
Should I collect trivial equivalents here?

Specifically, I'm thinking of


 * $(a \mathrel R b) \land (a ≠ b) \implies b \mathrel{\not R} a$ --Dfeuer (talk) 04:24, 15 January 2013 (UTC)


 * no --prime mover (talk) 06:08, 15 January 2013 (UTC)