 Open nucleus

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$.