1. Sets, relations and functions. 1.1 Set theory. We assume the reader is familiar with elementary set theory as it is used in mathematics Summary: 1. Sets, relations and functions. 1.1 Set theory. We assume the reader is familiar with elementary set theory as it is used in mathematics today. Nonetheless, we shall now give a careful treatment of set theory if only to to allow the reader to become conversant with our notation. Our treatment will be naive and not axiomatic. For an axiomatic treatment of set theory we suggest that the reader consult the Appendix to [K] where one will find a concise and elegant treatment of this subject as well as other references for this subject. By an object we shall mean any thing or entity, concrete or abstract, that might be a part of our discourse. A set is a collection of objects. Whenever A is a set and a is one of the objects in the collection A we shall write a A and say a is a member of A. A set is determined by its members; that is, if A and B are sets then (1) A = B if and only if for every x, x A x B; this is an axiom; in other words, it is an assumption we make. The most common way of defining sets is as follows. Suppose P(x) is a formula in the variable x. We will not go into just what this might mean other than to say that (i) if y is a variable then P(y) is a formula and (ii) if a is an object and if each occurrence of x in P(x) is replaced by a then the result P(a) is a statement; we will not go into what this means other than to say that statements are either true of false. At any rate, it is an axiom that there is a set {x : P(x)} such that Collections: Mathematics