In: Advanced Math
Recall the following definition: For X a topological space, and for A ⊆ X, we define the closure of A as cl(A) = ⋂{B ⊆ X : B is closed in X and A ⊆ B}. Let x ∈ X. Prove that x ∈ cl(A) if and only if every neighborhood of x contains a point from A. You may not use any definitions of cl(A) other than the one given.