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.

forall x: Calgary, Properties of relations

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.