Closed nucleus 2026-10-14
This nucleus on a frame determines the closed sublocale complementary to the open determined by . It is the least nucleus on a frame taking to . In the frame of nuclei on a frame, and the open nucleus are complements.
Closed sublocale 2026-10-14
The closed nucleus determines the complement of the open . A sublocale with nucleus is dense precisely when , since its closure is the closed sublocale defined by .
Hausdorff locale 2026-10-14
A locale is Hausdorff when its diagonal into its localic square is a closed sublocale. Its complement is the join of rectangles with . This is stronger than the underlying space being a Hausdorff space, because the localic square need not be spatial.
Put and . The closure of the open is the closed sublocale with closed nucleus ; its interior is the open . The closed sublocale complementary to is also open precisely when is complemented, in which case its open representative is . Thus the closure is clopen precisely when the regular open element is complemented. Every regular open element has this form, so (i) and (ii) are equivalent.