6"f"是幂等的。
闭包算子和伽罗瓦连接.上述发现可总结如下：对于伽罗瓦连接，复合的"f"formula_26"f"是单调的（因为是单调函数的复合），膨胀的，和幂等的。这声称了"f"formula_26"f"事实上是"A"上的闭包算子。对偶的说，"f"formula_26"f"是单调的，紧缩的，和幂等的。这种映射有时叫做内核算子。在frames和locales的上下文中，复合的"f"formula_26"f"叫做"f"诱发的核子。核子诱发frame同态；locale的子集叫做sub