Dense sublocale
= Dense sublocale
{title2=$j(0)=0$}
A <sublocale> is dense when its closure is the whole <locale>. For a map $f$, its image is dense when $f^*(a)=0$ implies $a=0$. Classically, a dense point belongs to every nonzero open.
= Dense sublocale
{title2=$j(0)=0$}
A <sublocale> is dense when its closure is the whole <locale>. For a map $f$, its image is dense when $f^*(a)=0$ implies $a=0$. Classically, a dense point belongs to every nonzero open.