given , and a neighbourhood of , there is an open set such that . Consider the point and the closed set , which does not contain . By regularity, there are open sets and such that and . Thus , so is a closed neighbourhood of contained in the given neighbourhood of .
given and the closed set , since is open and contains , there is a closed neighbourhood of so that . Let . Then is open and . Since is a neighbourhood of , there is an open set such that . Then , so is regular.