自反 若∀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