二、闭包的定义
设
R
是
A
上的关系，有时希望给
R
增加一些有序对构成新关系
R
'（显然
），使得
R
'具有自反性或对称性或传递性。但不希望
R
'太大，希望增加的有序对尽量少。这就是建立
R
的闭包的基本思想。
定义10.5.2
例3
），使得R'具有自反性或对称性或传递性。但不希望R'太大，希望增加的有序对尽量少。这就是建立R的闭包的基本思想。