假设集合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的元素。
Logo

基于 Vue 的企业级 UI 组件库和中后台系统解决方案,为数万开发者服务。

更多推荐