A topological space satisfies the separation axiom if, given any element of , the singleton subset is an open subspace in the induced topology on its own closure. In other words, for every point , there is a neighbourhood of such that the intersection of and is .