自反,矩阵对角线“全”是1。反自反是0,两种都有非自反 对称,前提一:(<a,b>,<b,a>)且a≠b,如a=b则反对称,如前提一不满足则既是对称又是反对称。 传递,<a,b>,<b,c>如果<a,c>满足则是传递。