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:
I have to find the smallest topology on that contains .
So, using the axioms for a topological space: