Booleanization of a locale ($X_b,\mathcal{O}(X_b)=\mathcal{O}(X{)}_{\neg \neg }$)

The double-negation nucleus on a frame gives a dense sublocale whose frame is a complete Boolean algebra. Its elements are regular open elements, with Boolean joins $\neg \neg {\bigvee }_i{a}_i$.