Definition:Frechet Space (Topology)