1) I have to prove:

I know some people get annoyed by the "-" notation, but that is what my prof uses, so...

Here is my work:

2) Let

and let

I have to find the smallest topology on that contains .

So, using the axioms for a topological space:

Correct?