离散数学-集合论-关系的性质（8）

关系的性质

关系的性质包括：自反、反自反、对称、反对称、传递五种。
定义1：若 $\forall x(x\in A\to <x,x>\in R)$,则称R在A上是自反的。
     若 $\forall x(x\in A\to <x,x>\notin R)$,则称R在A上是反自反的。

结论：每个顶点上全有环则为自反，每个点上都没有环为反自反
定义2：若 $\forall x\forall y(x,y\in A\wedge <x,y>\in R\to <y,x>\in R)$,则称R在A上是对称关系。
     若 $\forall x\forall y(x,y\in A\wedge <x,y>\in R\wedge <y,x>\in R\to x=y)$,则称R在A上是反对称关系。



结论：有关系的仅存双向为对称关系，仅存单向为反对称关系。
定义3：设R为A上的关系，若：
$\forall x\forall y\forall z(x,y,z\in A\wedge <x,y>\in R\wedge <y,z>\in R\to <x,z>\in R)$则称R为A上的传递关系。

结论： 如果存在1→2，2→3，则一定有1→3，全部存在相互传递的关系。