Nucleus (order theory)

In mathematics, and especially in order theory, a nucleus is a function on a meet-semilattice such that :

Every nucleus is evidently a monotone function.

Frames and locales

Usually, the term nucleus is used in pointless topology.
Proposition: If is a nucleus on a frame, then the poset of fixed points of, with order inherited from, is also a frame.