Let F be closed set. Let us prove that ∀A⊆X we have that F∩A⊆F∩A.
Let x∈F∩A . Then x is a cluster point of the set F∩A. This means that each neighbourhood of x
contains some element y∈F∩A. Therefore, y∈F and y∈A, and each neighbourhood of x contains an element y∈F and each neighbourhood of x contains an element y∈A
Consequently, x∈F and x∈A. Since F is a closed set, F=F. We conclude that x∈F, and thus x∈F∩A.
Comments