I am studying topology for computer science, using a book titled "topology via logic" and the question was an exercise from it.
How would you prove that? It seems that the opposite is true. Isn't it?