The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Normal space
A Hausdorff space is called normal if
any two disjoint closed sets can be separated by disjoint open sets.