离散数学 关系闭包 定义 关系闭包是 一个 关系 $\to$ 关系 的函数 保留原关系 对所有原来元素/关系应用某种关系 数学定义：关系 $U$ 的闭包 $u(R)$ $:=$ $u(R)$ 满足 $U$ $R \subset u(R)$ $\forall R\subset S$ 且 $S$ 满足 $U$ $\implies$ $u(R) \subset S$ 常见闭包 自反闭包 $r(R)$ 对称闭包 $s(R)$ 传递闭包 $r(R)$
