Give an example of a relation which is

symmetric and transitive but not reflexive.

Recall that for any binary relation R on set A. We have,


R is reflexive if for all x A, xRx.


R is symmetric if for all x, y A, if xRy, then yRx.


R is transitive if for all x, y, z A, if xRy and yRz, then xRz.


Let there be a set A.


A = {1, 2, 3, 4}


We need to define a relation on A which is symmetric and transitive but not reflexive.


It is not possible to define such relation which is symmetric and transitive but not reflexive. As every relation which is symmetric and transitive will use identity ordered pair of the form (x, x) to balance the relation (to make the relation symmetric and transitive). Without such identity pair both, symmetry and transitivity will not be possible.


14