symmetric_relation

Symmetric relation

Return to Symmetric

Snippet from Wikipedia: Symmetric relation

A symmetric relation is a type of binary relation. A homogeneous relation R {\displaystyle R} on a set X {\displaystyle X} is symmetric if:

for all a {\displaystyle a} and b {\displaystyle b} in X {\displaystyle X} , a R b {\displaystyle aRb} if and only if b R a {\displaystyle bRa} ,

where the notation a R b {\displaystyle aRb} means that the ordered pair ( a , b ) {\displaystyle (a,b)} is in the relation R {\displaystyle R} .

An example is the relation "is equal to", because if a = b is true then b = a is also true. If RT represents the converse of R, then R is symmetric if and only if R = RT.

Symmetry, along with reflexivity and transitivity, are the three defining properties of an equivalence relation.

symmetric_relation.txt · Last modified: 2025/02/01 06:26 by 127.0.0.1

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki