# Set Theory

The concept of the “set” is one of the basic concepts of mathematics. In spite of this fact, there is no definition agreed on by the authority. Some mathematicians define sets as “the class of objects that have certain properties”. Although this definition is widespread, there are deficiencies.

Objects that form the set are called “elements”. The sets are represented with capital letters such as , , , , , and the elements of sets are represented with lower-case letter such as , , , , . If is an element of , this case is denoted by , if is not an element of , this case is denoted by . There are three types of representations to display the sets:

**1. List method:** In this representation, the elements of set are written into the curly braces, by putting the commas between the elements. In a set, an element cannot be written twice. As an example, can be given.

**2. Venn diagram:** In this representation, the elements of set are written inside a circle or rectangle. Let’s show the above example, , by using Venn diagram:

Although the two representations above seem useful, their uses are limited because these representations can only and only be used for finite sets. Because it is generally studied on the infinite sets in mathematics, the following third representation is used in common. However, there are cases that the two representations above are also useful. For example, the first representation is useful to show the finite sets and, the second representation is useful to show relations and functions between two finite sets.

**3. Common properties method:** In this representation, the elements providing a specific proposition or propositions are collected in a set, is denoted by . (Sometimes the form is also used) Let be a set. The elements which belong to and provide the proposition is denoted by . Of course other letters can be used instead of . For example, the set of odd integers that is greater than 100 is denoted by . This set can also be denoted by .

**DEFINITION1:** The set that has no element is called the emptyset. The emptyset is denoted by or .

**DEFINITION2:** Let and be two sets. If each element of is also an element of , namely; , then is called a subset of . This case is denoted by (or ). The emptyset is subset of any set. () Furthermore, any set is subset of itself. () If is a subset of and has the elements that they are not in , then is called a proper (or strict) subset of . If is a proper subset of , this case is denoted by .

**DEFINITION3:** Let and be two sets. If and , and are called equal sets. This case is denoted by .

**DEFINITION4:** Let and be two sets. Now, let’s form new sets by using and .

The set defined as

is called the union of and .

The set defined as

is called the intersection of and .

The set defined as

is called the difference of and .

The set defined as

is called the symmetric difference of and .

If , then and are called disjoint sets.

Now, let’s mention a few elementary features of these operations:

1) In the union, intersection and symmetric difference operations, and can be replaced by each other (, , ). But, in the difference operation, and may not be replaced by each other. As it is clear from the definition of difference operation, set contains the elements that are in and not in . Now, let’s give an example that shows the case in which and may not be replaced by each other: We take and . Because and , we obtain .

2) The union, intersection and symmetric difference operations are associative:

,

,

.

So, in the union, intersection and symmetric difference of three or more sets, the order of sets and which two sets enter the operation are not important.

3) If is a set, then , , and .

4) If and are two sets, then , , and .

**DEFINITION5 (FAMILY OF SETS):** Let be an index set and , be sets. So is called a family of sets. Generally, a family of sets is denoted by a shorter form of . Actually, a family of sets is a set that its elements are sets, i.e. it is a set of sets. But, because using the statement of “set of sets” may cause confusion, the statement of “family of sets” is used in general. Let’s give an example: Let be . (Because this is an example, I have chosen the index set that has four elements. But the index set can be chosen as a set that has fewer elements, more elements, finite elements, infinite elements or can even be chosen the emptyset) Let be , , and . Then . There is a confusing problem: is a family of sets and has four elements. (I.e. it is a finite set) . The set of real number being infinite doesn’t make infinite. We should consider that the set of real numbers is an ordinary element of . If the set of real numbers was a subset of , we would say “ is infinite”. But, because this is not true, is a finite set.

**DEFINITION6 (THE UNION AND INTERSECTION OF FAMILY OF SETS):** Let be a family of sets.

The set defined as

is called the union of and the set of defined as

is called the intersection of . One can easily see this result from the definitions: The elements that are included in at least one of the sets of form the set of union, and the elements that are included in all the sets of form the set of intersection. In the event of , the set of union of is denoted by

and the set of intersection of is denoted by

.

Let’s give a generalization of property 4^{th} for union and intersection operations: Let be a family of sets. Then,

and

for any .

**DEFINITION7:** Let be a family of sets. If for any , then, is called pairwise disjoint or mutually disjoint. For example, if is a set, the family of is pairwise disjoint. A more concrete example: The family of is pairwise disjoint because for any in .

**DEFINITION8:** Let be a set. The set is called the power set of . I.e. the power set of a set is the family of sets formed all the subsets of this set. The power set of any set is always non-empty. Because the emptyset is a subset of any set (), the emptyset is an element of for any set . For example, if then , if then , if then and, if then .

**DEFINITION9:** Let be a set and be a family of the subsets of . If the following two conditions are provided, the family is called a partition of :

**i)**

**ii)** The family is pairwise disjoint.

There exists at least one partition of any set, because the family is a family providing the conditions (i) and (ii) for any set . This is a trivial example. Let’s give two concrete examples:

**EXAMPLE1:** If and , then, the family , is a partition of , because,

**i)** and,

**ii)** for any in .

**EXAMPLE2:** Let be an arbitrary constant. Let denote the remainder when dividing by . We consider for . Because,

**i)** and,

**ii)** for any in , the family is a partition of .

**DEFINITION10 (UNIVERSAL SET):** The set including all the sets is called universal set and denoted by in general. Actually, Russell’s paradox proofs that there is not a set including all the sets. So, in spite of the collection denoted by the form of is universal, we can consider that it is not a set. It’s true that is not a set. However, can be turned into a set by restricting the definition of the universal set. Let’s change the definition of the universal set for restricting: “The set including all the sets that we study on is called universal set”. What is the meaning of this? Let’s explain the definition by giving some examples: For example, we consider that you are studying on sequences in the set of the real numbers. Therefore, you aren’t going out of the set of the real numbers. I.e. the largest set that you are studying on is the set of the real numbers and any other set that you are studying on is a subset of the set of the real numbers. In that case, your universal set is the set of the real numbers. Let’s give another example: we consider that you are studying on the prime numbers. In that case, your universal set is the set of the integers. As is seen, actually, the universal set depends on the topics that you are studying on at that time, i.e, depends on your choosing. The choosing of the universal set is rather important for the concept of the “complement”. Now, let’s give the definition of the complement:

**DEFINITION11:** Let be a set. Then, the set is called the complement of . (Where is the universal set.) I.e. is formed the ’s elements that are not in . The complement of is denoted by in some sources. Let’s explain the importance of the choosing of the universal set by the help of an example:

**EXAMPLE3:** Let . If , then, , and if , then, .

**PROPOSITION1:** Let and . Then, the following five propositions are true:

**i)** ,

**ii)** ,

**iii)** ,

**iv)** ,

**v)** .

(iv) and (v) are called De Morgan’s laws. The law (iv) turn into and the law (v) turn into in the case .

**DEFINITION12:** Let be two sets, and . The set defined as is called an ordered pair. The following “equality of two ordered pairs” is true for :

.

This equality can be easily proved by using the equality of two sets.

The equality is not true in general. By using the equality of two ordered pairs, the proposition

can be easily obtained.

**DEFINITION13:** Let be two sets. The set defined by is called the Cartesian product of and . In general . More generally, the following proposition is provided:

.

If has elements and has elements, has elements.