闭算子

在数学中，给定偏序集合 (P, ≤)，在 P 上的闭包算子是函数 C : P → P 带有如下性质：x ≤ C(x) 对于所有 x，就是说 C 是扩展性的。如果 x ≤ y，则 C(x) ≤ C(y)，就是 C 是单调递增的。C(C(x)) = C(x) 对于所有的 x，就是说 C 是幂等函数。