Open nucleus ($o(a)(x)=a\to x$)

The Heyting implication defines a nucleus on a frame whose sublocale is the open determined by $a$. It is the least nucleus on a frame sending $a$ to $1$.