Note to self.

f^{-1}(f(U)) may not be equal to U. Topology.