Flat sublocale
= Flat sublocale
A <sublocale> is flat when its <nucleus on a frame> preserves finite joins, including $0$. Equivalently its fixed elements are closed under ambient finite joins. In particular every flat sublocale is a <dense sublocale>.