if for all if is true then is false; that is, if then This can be written in the notation of first-order logic as

A logically equivalent definition is:
:for all at least one of and is false,which in first-order logic can be written as:

A relation is asymmetric if and only if it is both antisymmetric and irreflexive, so this may also be taken