閉包算子

在數學中 ， 給定偏序集合 ( P, ≤ ) ， 在 P 上的閉包算子是函數 C: P → P 帶有如下性質: x ≤ C ( x ) 對於所有 x ， 就是說 C 是擴展性的 。 如果 x ≤ y ， 則 C ( x ) ≤ C ( y ) ， 就是 C 是單調遞增的 。 C ( C ( x ) ) = C ( x ) 對於所有的 x ， 就是說 C 是冪等函數 。