Concept
How are asymmetric, symmetric, and antisymmetric relations different?
Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk / Chapter 1
"Antisymmetric is very different from asymmetric. An asymmetric relation is simply one that is not symmetric: in other words, there is some (x, y) in it without a matching (y, x). An antisymmetric relation, on the other hand, is one in which there are guaranteed to be no matching (y, x) pairs for any (x, y), except when x and y are the same. Most relations are neither symmetric nor antisymmetric. It is something of a coincidence for a relation to be symmetric: that would mean that for every single (x, y) it contains, it also contains a (y, x). Similarly, it is something of a coincidence for a relation to be antisymmetric: that would mean that for every single (x, y) it contains, it does not contain a (y, x). An ordinary relation can contain some (x, y) pairs that have matching (y, x) pairs and some that do not have matches; such relations are neither symmetric nor antisymmetric. It is possible for a relation to be both symmetric and antisymmetric, but not asymmetric. For instance, the empty relation, with no ordered pairs, is both symmetric and antisymmetric. It is symmetric because for every ordered pair (x, y) in it, of which there are zero, there is also the corresponding (y, x). Similarly, for every ordered pair (x, y), the corresponding (y, x) is not present. Another example is a relation with only doubles in it, such as {(3,3), (7,7), (Fred, Fred)}. This, too, is both symmetric and antisymmetric. The conditions are trivially satisfied because there are no distinct elements whose ordered pairs could conflict."
Related Ideas
- Is H antisymmetric?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Is H symmetric?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What are the reflexive, symmetric, antisymmetric, and transitive properties of the endorelation T?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What properties does the sameShirtColor relation have?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What properties does the outranks relation have?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Is the empty set a relation between A and S?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Does a relation between a set and itself require the two elements of each pair to be the same?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What are partial orders and partially ordered sets?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1