In order to converse mathematically about infinity, a precise common language must be established. We begin to do that, albeit somewhat informally, on this page, which will serve as a reference for future mathematical posts.

**Sets**

The modern study of infinity began with Georg Cantor and the birth of set theory, so we naturally start with sets. For us, sets are simply collections of objects. (As we will later see, one must be careful here to avoid paradox; ignore these subtleties for now.) Sets are represented by curly braces. So, for example, is the set containing the numbers 1,2, and 4. We have standard notations for some common sets:

- is the set of natural numbers ().
- is the set of integers.
- is the set of rational numbers (numbers which can be expressed as ratios of integers).
- is the set of real numbers.
- is the set of complex numbers (numbers of the form , where and are real numbers and ).

We express the fact that an element is a member of a set by writing . So, for example, . We may express that something is *not* an element of a set by using . For example, .

Sets may also be presented in terms of a rule for membership. This rule is written inside the curly braces, after a vertical line (), which should be read as ‘such that.’ So, for example, is divisible by is precisely the set of even integers. An important thing to note is that elements of sets may themselves be sets. (In fact, in modern set theory, *everything* is a set.) We are now ready to define the basic set-theoretic operations.

- (Empty set) is the set that has no elements.
- (Union) If and are sets, then , i.e. is the set of elements that are in either or (or both, of course. The word ‘or’ is not exclusive for us.)
- (Intersection) If and are sets, then .
- (Subset) If and are sets, then ( is a subset of ) if every element of is also an element of . Note that the empty set is a subset of every set.
- (Set difference) If and are sets, then .
- (Power set) If is a set, then the
*power set*of , written , is the set of all subsets of , i.e. .

Let us provide an example to illustrate the notion of power set, as it is an important idea. If , then .

## Functions

A *function* is a relation between an input set (the *domain *of the function) and an output set (the *codomain* of the function) that assigns to each element of its domain exactly one element of its codomain. If is a function with domain and codomain , we write and say, “ is a function from to .” If , then the element in that assigns to is denoted by .

Suppose .

- is
*one-to-one*if assigns distinct elements of to distinct elements of , i.e. whenever and are different elements of , . - is
*onto*if every element of is assigned to some element of , i.e. for every element , there is such that . - is a
*bijection*if it is both one-to-one and onto.

## Cardinality

We want to be able to compare the sizes of two sets and . If the sets are finite, this is easy. Just count the number of elements in and . The one with more elements is larger. But what if our sets are infinite? We want a natural notion of size that works for infinite sets and matches our intuition on finite sets. The notion we use is *cardinality*. We denote the cardinality of a set by . For now, let us not worry about what exactly a cardinality *is* and just talk about how to compare them, which is what we are really interested in.

What are we asserting when we say that two finite sets, and , are the same size? In a sense, we are saying that there is a correspondence between the elements of and , that we can match up each element of with a distinct element of in such a way that every element of is matched with something from . In other words, there is a bijection . We thus adopt this as our criterion for when arbitrary sets and have the same cardinality:

if there is a bijection .

As an example, let be the set of even natural numbers, and let be defined by . is a bijection, so the set of natural numbers has the same cardinality as the set of even natural numbers.

What if we want to say that a set is smaller than a set ? To answer this, return to thinking about finite sets. Intuitively, a finite set is smaller than or the same size as a finite set if each element of can be matched up with a distinct element of (if is smaller than , there will be some elements of left over). This is precisely the statement that there is a one-to-one function . We thus adopt this as our general definition:

if there is a one-to-one function .

As an exercise, I invite you to show that, if there is a one-to-one function , then there is an onto function . Therefore, we have the following equivalent definition:

if there is an onto function .

Any reasonable notion of cardinality would have the feature that, if and , then . In our case, this amounts to the assertion that, if there are one-to-one functions and , then there is a bijection . Indeed, this is true, though it is surprisingly non-trivial to prove (the statement is known as the Cantor-Schroeder-Bernstein Theorem).

Finally, we define when a set has strictly smaller cardinality than .

if and .

In other words, if there is a one-to-one function but there is no onto function .

As an example, let be a set, and consider the function defined by letting for every . is one-to-one, so we have . As we will show in another post, there cannot be an onto function , so, in fact, .