Back to forall x: Calgary
Properties of relations
Producing relations that are reflexive, symmetric or transitive in some combinations but not others, including one both symmetric and anti-symmetric.
StatusFlagsLoading your progress…
2 exercises
Exercise A
Give examples of relations with the following properties:
-
Reflexive but not symmetric
-
Symmetric but not transitive
-
Transitive, symmetric, but not reflexive
3.0
Exercise B
Show that a relation can be both symmetric and anti-symmetric by giving an interpretation that makes both of the following sentences true:
3.0
Adapted from forall x: Calgary © 2025 P. D. Magnus, Tim Button, Robert Trueman, and Richard Zach. Licensed under CC BY 4.0. Source: forall x: Calgary. Imported at revision ec34df8.