# An Introduction To Set Theory & Logic (Part One Of Three)

Hello everyone. This article is part one of a three part series of an introduction to set theory with some logic topics.

Part two can be found here. Part three is here.

Introduction

Set Theory is an abstract mathematical topic dealing with sets and relations of objects. It is one of the foundational topics of mathematics (but we usually see calculus as introductory math courses at universities). To visualize sets, think of venn diagrams (see picture below). Set theory and logic is useful in areas such as mathematics, statistics, computer science (Boolean logic), philosophy and maybe even law (You need good arguments!).

Here is an example of a Venn diagram.(Source: http://www.mrfleck.com/uploads/1/4/8/5/14858454/8909523_orig.jpg.)

Basic Definitions

A set is any well defined collection of objects. The individual objects or items in a set are called elements or members of the set.

Ok, what does that mean? Consider this example where we have a school backpack with objects inside. The backpack can be thought of as a set and the items inside such as books, pencils, pens, a calculator, and a lunch box can be thought as elements of that backpack.

The number of elements an element can have can be finite (a whole positive number) or it can be infinite.

An example of an infinite set is where you have a function such as where the domain can take on any real number. The solution set of is all real numbers which is an infinite set. (There are more tougher topics of set theory and infinity which won’t be covered here, this was just an example.)

If we have two sets A or B which have the same elements then we say that sets A and B are equal. We denote this as . If the two sets A and B are not equal we denote it by .

Notation

Sets are often denoted by capital letters such as and so forth.

To denote elements in a list, we use curly brackets and separate elements with commas. For example, we have the set . It is best to list sets with elements with small sets. Looking at a set with 10,000 elements on paper looks bad!

With sets we do not do repeated elements when it comes to sets with repeated elements. Also, order does not matter. As an example is the same set as and .

Warning

If we have the functions and the solution sets for the functions are . The solution sets are the same but the functions are not!

An element that is in set is denoted by . You could also say that the element belongs to set or is an element of .

An element that is not in set is denoted by . You could also say that the element does not belongs to set or is not an element of .

The Empty Set

A set which has no elements is the empty set denoted by or . If we consider our backpack example, there is nothing inside the backpack.

One should be careful with the empty set and zero. For example, the solution set for is simply {0} where 0 is an element. In , there is no real numbered root in the solution set. The solution set is empty denoted by .

Note that is not the same as . represents nothing in a set while represents the empty set. With the backpack example, represents the nothing in the backpack while is the backpack which is empty.

Other Cases

A set with exactly one element is a singleton. Any set with exactly two elements is an unordered pair or just simply called a pair.

The Number System

The number system was not formally taught to me back in high school. I learned about the formal definitions of integers, natural numbers, rational numbers, real numbers better in university. A guide is presented below.

Natural Numbers

The natural numbers or the positive integers are pretty much counting numbers starting from 1 and going up. The set of all natural numbers is denoted by

.

Non-Negative Integers

The non-negative integers is just an extensive of the natural numbers. Instead of counting from 1, we start counting from 0 and then go up. The set of non-negative integers is

Integers

When negative whole numbers are added to non-negative integers, we get the integers. The integers is denoted by

Rational Numbers (Fractions)

Rational numbers are better known as fractions where we have an integer in the numerator (top) and another non-zero integer in the denominator (bottom). These numbers do have a non-infinite (finite) number of decimals. The famous number Pi as is not considered a rational number as the numbers go on forever after the decimal place.

The mathematical definition is as follows.

The : and symbols mean “such that”. We read the above math notation as a divided by b where a and b are integers with b not being 0″ (Can’t divide by zero).

Real Numbers

The real numbers include the natural numbers, integers, rational numbers and numbers such as with infinite decimal places. Another well-known real number is Euler’s constant of . The real numbers is denoted by .

Complex Numbers

Remember when a high school math teacher told you can’t take a square root of a negative number? It is because it is not real. It belongs to the family of complex or imaginary numbers. The set of complex numbers is denoted by .

The complex number is defined as . Squaring gives us .

Subsets

The country Canada is a part of North America.

The United States of America is a part of North America.

North America is a part of the Earth. Thus, Canada is a part of North America and is part of the Earth.

Austria is a part of Europe.

Yoga is a form of exercise.

Pikachu is an electric type Pokémon.

From the examples above you can notice that we have an item or an object being a part of a larger collection of items or objects. This is pretty much of what a subset is.

Definition of a Subset

A set is a subset of set if and only if (iff) every element of is an element of . We denote this as or .

The if and only if (iff) part means that if A is a subset of B then every element of is an element of and that if every element of is an element of implies that set is a subset of . The if and only if works both ways.

If set is not a subset of set , we would write or .

A set being a proper subset of is denoted by .

Examples of Subsets

Example One

We have two grocery stores called X and Y which offer certain vegetables as follows.

and

Here we have the set Y being a subset of X as both sets have mushrooms and tomatoes but set X has celeries and carrots and set Y does not.

Example Two

Given a set and , set is a (proper) subset of as 1 and 2 are in sets and and 7, 9 and 11 are in but not in .

Example Three

The empty set is a subset of . In general, the empty set is always a subset of a non-empty set.

Example Four

Suppose we are given a set and . is a subset of since in is equal to in . Also, has 7, 9 and 11 but does not.

References

My own old notes and course pack book on an Introduction to Mathematical Proofs course.

The featured image is from http://static1.creately.com/blog/wp-content/uploads/2014/07/Blank-Venn-Diagram-Template.png.