Here is a list of symbols that we’ve introduced as notation for some of the various ideas that we’ve introduced. Feel free to read it all the way through now, however it’s not meant to be memorized or learned in some deep way. It’s just a collection of symbols, and I want to collect them here so that we can refer to them without having to reintroduce what they mean. If the reader forgets what a symbol means, she or he can come back here. Think of this is a checkpoint, and not as a lesson, because it would be one of the most boring lessons one could possibly write.

In what follows, let and be arbitrary sets.

- We write if is a subset of . In this case, it is possible for to equal . If, however, we want to state that is a subset of that is
**strictly**contained in (i.e., there are some elements in that are not in ), then we write .

- The symbol denotes “is in” or “is an element of”. Thus, I can write “” to denote “ is in A”, or equivalently “a is an element of A”. It’s very important that our mathematics is grammatically correct, and when reading mathematics one should always read it as though it is a normal English sentence.

- The following symbols denote important and/or common sets:

- When defining a set, we use “{}” to denote “the set of” and “|” to denote “such that”, as follows. If is the set of all multiplies of 5 (positive or negative), we could write

which we read as

“A is the set of elements “a” in such that a is 5 times n for some n in ”. This is the very definition of being a multiple of 5.

We could then write the set of fractions as

where we take two fractions to be equal if their numerators and denominators are common multiples of each other, in the usual way.

- We denote the union of and as , their intersection as , their Cartesian product as , and their disjoint union as .
- We write , which is to be read as “f is a function from A to B”.