# 13 Set Theory

Set theory is the study of sets (or collections) of numbers. Some common examples of sets in set theory would be the natural numbers, whole numbers, integers, rationals, irrationals, and reals. These are denoted as and respectively. There is an infinite number of possibilities for sets as they are just a collection of numbers and can include anywhere from zero to an infinite number of elements.

Terminology
Before we can go any further, we must have a good understanding of some basic terminology. If is in a set , denoted , then we call an element of . The set that has zero elements is called the empty or null set and is denoted as [23]. A set is a subset of a set , denoted , if every element that is in is also in . is a proper subset of , denoted , if every element in is also in and there is at least one element in that is not in . In other words, is a subset of but is not equal to . and are disjoint sets when they do not have any common elements. That is, for every , and for every , .

Operations
There are also operations that we can perform on sets. The union of sets and , denoted as , is the set of all elements in and all elements in . That is, if , then must be in either or . The intersection of sets and , denoted as , is the set of all elements that and have in common. The difference of sets and , denoted , is the set of all elements in that are not in . That is, if , then and [23]. The complement of a set , denoted , is the set of all elements that are not in . That is, if , then .

Now that we have covered the basic terminology and operations of sets, we are ready to discuss DeMorgan’s Laws and apply some of the concepts that we have just learned.

#### DeMorgan’s Laws for Sets

Recall that in chapter 10, we mentioned DeMorgan’s Laws as they applied to logic. Now, we are going to discuss DeMorgan’s Laws as they apply to set theory. Abbott provides us with the following theorem [1].

Theorem III.1 (DeMorgan’s Laws for Sets)

Let and be subsets of .

In order to prove the first statement, we need to show that the two sets, and , are equal. But how do we do that? In short, we prove that they are subsets of one another. If , then every element in must also be in . But if , then every element in must also be in . Since every element in is also in , we know that contains all of the elements of . We also know that there does not exist an element in that is not in . It follows then that has the exact same elements as . Thus, . To prove that a set is a subset of , we show that if is in then must also be in .

We are now ready to prove the first of DeMorgan’s Laws. This is a homework problem I completed for Introduction to Analysis that comes from Abbott [1].

Example 28
Show that .

Proof.
If , and by definition of intersection.
So, if , or by definition of intersection and complement.
That is, or by definition of complement.
Thus, by definition of union.
Therefore, .

If or by definition of union.
That is, or so by definition of complement and intersection.
Thus, by definition of complement.
Therefore, .

Therefore, .

The proof of the second of DeMorgan’s Laws can be done in a similar manner. Having discussed the basics of set theory, we are going to dive into a more advanced topic, relations. We will see how different sets are connected and how they relate to one other.

## License

Portfolio for Bachelor of Science in Mathematics Copyright © by Abigail E. Huettig. All Rights Reserved.