If O is open and F is closed. Is O/F open?
Hello,
By definition of the set difference, $\displaystyle O\setminus F=O\cap F^c$
But by definition of a closed set in a topology, $\displaystyle F^c$ is an open set.
And from one of the axioms of a topology, the intersection of two open sets is still an open set.