Usually, the term
nucleus is used in
pointless topology (when the semilattice \mathfrak{A} is a frame).
Proposition: If F is a nucleus on a frame \mathfrak{A}, then the
poset \operatorname{Fix} F of fixed points of F, with order inherited from \mathfrak{A}, is also a frame. ==References==