假设集合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的元素。
假设集合A,以及基于A上的关系R
<a,a>
是R的元素<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: