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.Usually, the term nucleus is used in frames and locales theory.
Proposition: If is a nucleus on a frame, then the poset of fixed points of, with order inherited from, is also a frame.