Sets and Functions

We begin with an elementary review of the language of functions and, more importantly, the classification of functions according to purely set-theoretic criteria. We assume that the reader has seen the formal definition of a function elsewhere; in any case, we shall need nothing beyond the provisional definition implicit in the following paragraph.