I'm proving equivalent statements for normal, and I'm stuck at this one. Any help getting started would be appreciated.
We are given that is a space and that:
If and are disjoint members of , then there exist such that and .
I need to prove that:
Each pair of disjoint members of have disjoint neighborhoods.