symmetric_relation

Symmetric relation

Return to Symmetric

Snippet from Wikipedia: Symmetric relation

A symmetric relation is a type of binary relation. Formally, a binary relation R over a set X is symmetric if:

a , b X ( a R b b R a ) , {\displaystyle \forall a,b\in X(aRb\Leftrightarrow bRa),}

where the notation aRb means that (a, b) ∈ 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