A Fréchet space or space is a topological space where any two points are separable,
i.e. for any with there exists an open neighbourhood of and of
such that and . #m/def/topology
Equivalent conditions include
for every , the singleton is closed
Proof of equivalence
Let .
For each , let be an open neighbourhood of not containing .
Then