How to Prove a Set is a Topological Space