[Math] Show that the closure of a set A is the smallest closed set containing A.

Question

I need to prove that $\bar A$ (the closure of set A) is the smallest closed set containing A. We have already proved that it is a closed set, so now I just need to show that it is the smallest one.

I have written a preliminary proof that I don't think is particularly rigorous, and would be grateful if someone could give me some pointers. We haven't covered anything regarding metric spaces or anything else in topology, so I had trouble understanding other solutions posted on the site.

Let $A$ be a non-empty set, and $\bar A$ the closure of $A$ (the union of $A$ and all of its limit points). Let $B$ be a closed set with $A \subset B \subset \bar A$ and $B \neq \bar A$.

Since $A \subset B$ and $B \subset \bar A$, $B$ consists of all the elements of $A$ and some (but not all) of its limit points. However, this means that there are sequences contained entirely within $B$ whose limit points are not elements of $B$. Thus, $B$ is not closed, posing a contradiction to the original statement.

Answer 1

I think it is clearer without a contradiction argument:

Let $B$ be a closed set satisfying $A\subset B$. Let $a$ be a limit point of $A$, so that we can find a sequence $(a_{n})_{n}\subset A$ with $a_{n}\rightarrow a$. Since this sequence is also contained in $B$ and $B$ is closed, it follows that $a \in B$. Because $a$ was an arbitrary limit point, $B$ contains the closure of $A$.