對稱閉包

對稱閉包

對稱閉包是X上包含R的最小的對稱關係。

定義


對於關係R,添加最少的二元組(pair),使新的關係R'是對稱的(symmetric)。

性質


R'=R∪R