性质：自反、反自反、对称、反对称、传递、互斥

假设集合A，以及基于A上的关系R

• 自反： 如果a是A的元素，那么<a,a>是R的元素
• 反自反：如果a是A的元素，那么<a,a>不是R的元素
• 对称： 如果<a,b>是R的元素，那么<b,a>是R的元素
• 反对称：如果<a,b>，<b,a>是R的元素，那么a,b相等
• 传递： 如果<a,b>，<b,c>是R的元素，那么<a,c>是R的元素

PS：

• 互斥：R中只有r1和r2，r1是R的元素，则r2不是R的元素。