In mathematics, and especially in order theory, a nucleus is a function
):[1] Every nucleus is evidently a monotone function.
Usually, the term nucleus is used in frames and locales theory (when the semilattice
of fixed points of
, with order inherited from