symmetric_relation
Symmetric relation
Return to Symmetric
- Snippet from Wikipedia: Symmetric relation
A symmetric relation is a type of binary relation. An example is the relation "is equal to", because if a = b is true then b = a is also true. Formally, a binary relation R over a set X is symmetric if:
where the notation aRb means that (a, b) ∈ R.
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: 2024/04/28 03:26 by 127.0.0.1