Hausdorff locale
= Hausdorff locale
{c}
A <locale> is Hausdorff when its diagonal into its localic square is a <closed sublocale>. Its complement is the join of rectangles $a\times b$ with $a\wedge b=0$. This is stronger than the underlying space being a <Hausdorff space>, because the localic square need not be spatial.