根据前面的章节可以发现,
关系R是
笛卡尔积AxB的一个子集R称为集合A到集合B的一个关系
简单例题

关系数

自反(reflexive)

自反
定义:若∀x(x∈A→<x,x>∈R),则称R在A上是自反的
取A中任意一个元素x,在R中都满足(x,x),即称R是自反的
例题

R3和5是自反的 在{1,2,3,4}|a=b
所以自反的关系R中必须有(1,1)、(2,2)、(3,3) (4,4)
注意:正整数集上的整除关系是自反的,整数集不行
对称和反对称(symmetric和antisymmetric)


传递(transitive)

例题: