I'm revising some material related to functions and one-variable differential calculus. My teacher's notes define a function whose domain and co-domain are both subsets of the set of real numbers ...