Open nucleus
= Open nucleus
{title2=$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$.
= Open nucleus
{title2=$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$.