Union of antisymmetric relations

ID: union-of-antisymmetric-relations

The union of two antisymmetric relations need not be an antisymmetric relation. On , take and . Each is an antisymmetric relation, but contains both directions between distinct elements. This counterexample shows why testing each binary relation separately does not control cross-pairs in their union.

New to topics? Read the docs here!