我们经常希望关系具有自反性、对称性和传递性。对于不具有这些性质的关系,可以扩充这个关系为更大的关系(原关系的超集合),使新关系有这些性质。这种作法就是闭包的思想。闭包是数学上常用的概念。
一、多个关系的合成
在10.3节介绍了两个关系的合成,下面推广到多个关系的合成。
定义10.5.1
定理10.5.1
定理10.5.2
定理10.5.3