“Elementary properties of closures”
From Terence Tao’s Analysis I, p213 of the hardcover second edition, Lemma 9.1.11.
Showing X⊂¯X. Let x∈X, and let ϵ>0. We have |x−x|=0≤ϵ, so we are done.
This work is licensed under a Creative Commons Attribution 4.0 International License.