关系的性质（自反，反自反，对称，反对称，传递）

自反

若∀a∈A，必有<a,a>∈R，则称R是自反的，（关系矩阵对角线都为1）。

 例：A={1,2,3}，R={<1,1,>,<2,2>,<3,3>

反自反

若∀a∈A，必有<a,a>∉R，则称R是反自反的 

例：A={1,2,3}，R={<1,2,>,<1,3>,<2,1,>,<2,3>,<3,1>,<3,2>} 

对称

若<a,b>∈R，必有<b,a>∈R，则称R是对称的，（关系矩阵rij=rji，即为对称矩阵）

例： A={1,2,3}，R={<1,2>,<2,1>,<1,1>,<2,2>} R={<1,3>,<3,1,>,<2,3>,<3,2>}

反对称

若<a,b>∈R，且a≠b，则<b,a>∉R，则称R是反对称的（关系矩阵rij和rji不能同时为1，即关于对角线对称的元素不能同时为1）

 例： A={1,2,3}，R={<1,2>,<1,3>} R={<1,2>,<2,3>,<3,1>}

传递

若<a,b>∈R、<b,c>∈R，必有<a,c>∈R，则称R是传递的

例： A={1,2,3}，R={<1,2>,<2,3>,<1,3>} 

试题 

给定A：{1,2,3,4}，考虑A上的关系R，若R={<1,3>，<1,4>，<2,3>，<2,4>，<3,4>，<4,4>}，则R是（ ）

A:自反的

B:对称的

C:传递的

D:反自反的

【答案】C

设集合A={a，b，c，d}，现有A上的二元关系R={<a，b>，<b，c>，<c，b>，<b，a>}，则A是（ ）

A:自反的

B:对称的

C:反对称的

D:传递的 

【答案】B

下列关于整数集合上的整除关系描述不正确的是（ ）

A:自反的

B:对称的

C:反对称的

D:传递的 

【答案】B，自反的、反对称的（2能整除4，4不能整除2）、传递的（2能整除4，4能整除8，2一定能整除8）

设R={<1,3>，<1,4>，<2,3>，<3,1>，<3,4>，<4,2>}是A={1,2,3,4}上的关系，说明R是否具有自反、反自反、对称、反对称性质。 

【答案】<1,1>,<2,2,>,<3,3>,<4,4>都∉R，所以R是反自反的，不是自反的

<1,4>∈R，<4,1>∉R，所以R不是对称的

<1,3>∈R，<3,1>∈R，所以R不是反对称的