Closed sublocale
= Closed sublocale
The <closed nucleus> $c(a)$ determines the complement of the open $a$. A <sublocale> with nucleus $j$ is dense precisely when $j(0)=0$, since its closure is the <closed sublocale> defined by $j(0)$.
= Closed sublocale
The <closed nucleus> $c(a)$ determines the complement of the open $a$. A <sublocale> with nucleus $j$ is dense precisely when $j(0)=0$, since its closure is the <closed sublocale> defined by $j(0)$.