A sublocale is flat when its nucleus on a frame preserves finite joins, including . Equivalently its fixed elements are closed under ambient finite joins. In particular every flat sublocale is a dense sublocale.
New to topics? Read the docs here!
New to topics? Read the docs here!