Maths WorkshopMaths problems with full solutions
Exercise 274Logic, sets and proofs › RelationsHigh schoolAdded 3 Nov 2026

Symmetric relations

#symmetric#relation#definition

Statement

Define a symmetric relation and determine whether aRb  ⟺  a≤ba\mathcal{R}b\iff a\le b on R\mathbb{R} is symmetric.

Hint

Symmetric: aRb⇒bRaa\mathcal{R}b\Rightarrow b\mathcal{R}a.

Show solutionHide solution

Solution

Definition. R\mathcal{R} is symmetric if ∀a,b\forall a,b, aRb⇒bRaa\mathcal{R}b\Rightarrow b\mathcal{R}a.

Test. 1≤21\le2 but 2≤12\le1 is false. Not symmetric.

Conclusion. ≤\le is not symmetric (it is antisymmetric).