闭包

自反闭包

$r(R)=R\cup R^0$

对称闭包

$s(R)=R\cup R^{-1}$

传递闭包

$t(R)=R\cup R^2\cup R^3\cup ...$

性质

若 $R$ 是传递的，则 $s(R)$ 不一定是传递的。

$rs(R)=sr(R)$ $rt(R)=tr(R)$ $st(R)\subseteq ts(R)$