Thanks for your input! We have not proved that the closure of S is the intersection of all closed subsets containing S... so I cannot use this result without proof.
Thanks for your input! We have not proved that the closure of S is the intersection of all closed subsets containing S... so I cannot use this result without proof.
Your original proof looks fine to me. Except when you pick an epsilon, it should be "there exists epsilon" not "for all epsilon".