What is the name of this property of relation?

52 Views Asked by At

What is the name of property of a binary relation $R$ that states that $\lnot(a\mathrel{R} b) \iff \lnot(b \mathrel{R} a)$ for all $a, b$?

1

There are 1 best solutions below

3
On BEST ANSWER

Note that we can remove the negation because this is an if and only if. Therefore this is the same as saying $a\mathrel{R}b\iff b\mathrel{R}a$.

This property is called symmetry, and such $R$ is called a symmetric relation.