If like me, you’ve spent most of your mathematical high school years introduced to basic sets at the beginning of the year from Grades 8 to 12, then I think you’d agree that sets was one of the quickest and easiest sections we traditionally did. We would quickly recap the same fundamental properties of sets before moving onto more interesting topics, usually algebra. The section would go a little bit like this:

- define the differences between whole and natural numbers, integers, rational numbers and real numbers
- define the differences between unions, intersections and complements, usually through the understanding of Venn-diagrams
- use set builder notation (introducing algebra through this)

If like myself, you truly believed that this was as complicated as sets could ever get, then you, dear reader, like my former-myself, are in for a treat. In university, we build on these basic ideas and have a more in depth understanding about the importance of sets and their greater role in the scheme of mathematics.

My aim is to make these more complex things a bit more accessible and coherent.

As we delve into it, we must first define some essential and familiar terms.

A **set** is a collecting of objects called **elements**.

We denote sets using capital letters and denote their elements with small letters.

To say contains element x, we write but since p is not an element of set A

These elements are not always abstract values. Elements can be anything such as numbers, points, functions or other sets expressed as a list in brackets {} called braces.

e.g.1. is a set containing 5 real numbers

e.g.2. is the set of all integers (recall: there are infinitely many integers)

e.g.3. is a set containing points on the Cartesian plane (xy-plane)

e.g.4. is a set with 7 letters as elements

e.g.5. is a set with 3 elements

e.g.6. is a set of positive intergers

e.g.7. is equivalent to set N from e.g.6

e.g.8. is a set with two 2×2 matrices

e.g.9. is the empty set which can also be denoted as

Looking at the above examples (e.g.6 and e.g.7), we can introduce the concept of **set builder notation.**

In general, to write a set X in set builder notation, we write:

Note: The colon is read as “such as” and can also be replaced by a straight vertical line “|”

This means that the **expression** in the set holds true given it follows certain **conditions.**

There are multiple ways of writing the same set using set builder notation. For instance, all the sets below are equivalent to

which reads

“2n exists such that n is an integer”which reads

“an integer, n, exists given there exists another integer, k, such that n = 2k”which reads

“n is an integer, given n is even”

: any given set is said to be an **infinite** set if it has infinitely many elements. If a set is not infinite, then it is **finite**

was an example of a finite set

was an example of an infinite set

: two sets, A and B, are said to be **equal** if *all* the elements in A are also in B

This would mean A is a subset of B, and similarly, B is a subset of A. We will investigate subsets later!

e.g.1.

e.g.2.

: the **cardinality** of a set refers to the size of the set.

The set must be *finite* and the number of elements it contains will inform us about its size.

e.g.1. has the cardinality of 3 since it has three elements. We denote this as |A| = 3

e.g.2. is the empty set and has the cardinality of 0. We denote this as |Z| = 0. The empty set is the only set that has the cardinality of zero since it does not contain any elements.

e.g.3. has the cardinality of 3 since it contains three elements, two of which are sets. We denote this as |G| = 3

e.g.4. has the cardinality of 3. We denote this as |W| = 3

e.g.3 and e.g.5 above introduces us to the idea of* sets containing other sets*.

FlorenceMarch 8, 2018 at 5:25 pmHelpful thanks

ThandoMarch 9, 2018 at 2:52 amClear explanations. Thank you

GyashkaSeptember 23, 2018 at 2:54 pmThis was so helpful and relatable wow ! Thanks so much!