f(I) is the collection of all real-valued continuous functions defined on some interval I. f^(n)(I) is the collection of all functions element f(I) with continuous nth derivatives. A function space is a topological vector space whose "points" are functions.