1 Matching Annotations
 May 2020

rickneff.github.io rickneff.github.io

R is symmetric iff ∀∀\forall x ∀∀\forall y [xRy → yRx].
For any x and y in a set, if x is related to y then y must be related to x for the relation to be symmetric.
Example:
We have the set [1 2 3].
For a relation to be symmetric, if you have (1 2) you must have (2 1). Equally, (1 1) is symmetric.
