Definition:Frechet Space (Functional Analysis)