 Booleanization of a locale

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