正文

关系的定义

关系是一个有序对集合或空集合，关系之间做运算以后依然是关系。

关系的定义域(dom R )，值域(ran R )和域( RfldR)

其中< x , y > ∈ R 表示x 经过R 运算变换得到y ，也可以记作x R y

关系的运算

关系的逆、复合(合成)、限制和像

设 为任意关系，A = { 1 , 2 } 为集合

R的逆，记作R − 1

例

RR与S 的复合，复合分为左复合和右复合，一般情况下"复合"一词指的就是右复合，记作R ∘ S

左复合：

右复合：

例：左复合： 右复合：

R 在A 上的限制，记作R ↾ A

例：

A在F 下的像，记作F [ A ]

例：

以上定义的运算是关系的基本运算

基本运算的主要性质

设R、S、T 是任意的关系，则有

关系的幂运算

设R 为A 上的关系，R ∘ R 可以简记为 R^2，称为R的二次幂。一般地可以定义R的n 次幂为R^n且有：

由定义可知R^0R就是A 上的恒等关系I A 不难证明：

由此等式可以得到：

例如：设A = { 1 , 2 , 4 , 5 } 有二元关系R=\{<1,2>,<2,1>,<4,2>,<5,1>}，则有：

关系幂运算定理*

设R 为A 上的关系，m 、n是自然数，则下列等式成立

关系的性质

设R 是A上的关系，R 的性质主要有以下5种：自反性、反自反性、对称性、反对称性和传递性。