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