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.
Articles by others on the same topic
There are currently no matching articles.