1 Matching Annotations
  1. May 2020
    1. 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.


      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.