To continue with the introduction to Set theory, in this second article we will learn about Van diagrams, cardinality, and some of its properties.

## Introduction:

After learning about the relations between sets and the operations on sets and their properties we will learn in this second article the representation of sets with the Van diagrams, we will also introduce the concept of cardinality and we’ll have a look at the importance and usage of set theory.

Quote: “A set is a Many that allows itself to be thought of as a One.” -Georg Cantor

## Venn diagrams

A widely used way to visually represent sets and the relations between them is using Venn diagrams, this way of representing is named after the English mathematician and logician John Venn, who lived in the 18th century.

this way of representing the sets and the different relations between them is simple and easy to apply, we can summarize it as follow:

1-We draw a circle to represent a set, an ordinary one meaning not a universal one, inside the circle, we find the objects or elements of the set. The different circles representing the sets can overlap which means that these sets intersect.

Note that, a universal set is a set that contains all the elements that may be taken under consideration, in set theory to define the domain in which the operations on sets are done is to define the universal set. it is usually denoted .

**Definition:** We call a universal set the set of all the possible objects.

2-We draw a rectangle to represent the universal set, inside of it we find all subsets and elements.

Here are some illustrations of the main operations on sets:

- The union of and :
- The intersection of and :

- The difference of and :

- The Symmetric difference of and :

## Cardinality of sets

A special and simple aspect of sets that mathematicians are always interested in, is the total number of distinct elements of a set whether it is a finite set or infinite. This property is very important since it allows us to know the size of a set and compare the different sets among many other things.

At the first look, this idea of cardinality is a very simple one we just need to count the elements of a given set to determine its cardinality, and that is totally true when we are dealing with finite sets, but the idea of cardinality isn’t that clear and simple to grasp when it comes to infinite sets and comparing the size of infinite sets!

The cardinality of a set is noted and sometimes in some references, it is noted by .

Note that the cardinality of the empty set is 0:

Note also that we count only the distinct elements so for example, .

First let’s take a look at some illustrating examples:

**Example 1:** Let the universal set be: , and

Then we have the cardinality of the universal set is (meaning that has 9 distinct elements).

And the cardinality of is (meaning that has 6 distinct elements).

It makes sense that the cardinality of the universal set is greater (or equal) than any other one since any other one is a subset of the universal set.

**Example 2:** Let be defined as follow:

We have the cardinality of :

(note that we can write in a different form such as: ).

In case we have two sets and with the same cardinality we note and we say that and have the same size. Be careful between and ; means that and have exactly the same elements, for example, if and and then we have . For the expression it means the number of elements of is equal to the number of elements of but it doesn’t necessarily mean the same elements, for example, if and we have but and have different elements.

Therefore, implies that but not the other way.

For the case of infinite sets, cardinality has some interesting properties, for example, we can have two infinite sets and and yet the number of elements of is bigger than the number of elements of i.e., ; this is a fundamental result of set theory for the study of limits and their properties. for more understanding check out our article about Infinity: Facts, mysteries, paradoxes, and beyond.

we can easily conclude that:

- Every subset of a finite set is a finite
- Every uperset of an infinite set is an infinite

### Some properties of cardinality

let and be two sets, we have the following properties:

- The sum of the cardinality of and the cardinality of is equal to the cardinality of the union of and :

- The product of the cardinality of by the cardinality of is equal to the cardinality of the cartesian production of and :

-Assuming the axiom of choice, we have the following result:

The cardinality of the union of and is equal to the cardinality of the cartesian product of and and it is equal to the maximum between the cardinality of and the cardinality of :

.

For finite sets , and we have the following properties: The Inclusion-Exclusion principle:

- For the case of two finite sets:

- For the case of three finite sets:

Let’s take a look at an example for a better understanding of the Inclusion-Exclusion principle:

Suppose that at a birthday party we have the gests meet the following description:

- We have 12 people wearing blue shirts and 9 people wearing green shirts;
- 5 guests have blue shirts and black jeans;
- 4 guests have black jeans and green shirts;
- The total number of guests with a blue shirt or a green shirt or black jeans is 25.

And we want to determine the number of guests that have black jeans!

To answer this question, we take the following steps:

Let be the set of guests with blue shirts

Let be the set of guests with green shirts

Let be the set of guests with black jeans

Now using the notation, we can write the information given as follow:

; ; ; ; .

we can safely assume that and are disjoint, meaning since guests are either wearing a blue shirt or a green one not both at the same time.

Now using the principle of Inclusion-Exclusion we get:

Therefore

So, the number of guests wearing black jeans is 13 (5 of them are wearing blue shirts and 4 of them are wearing green shirts and the rest (4 guests) are wearing neither a blue shirt nor a green one).

### Examples of sets having equal cardinalities:

-The set of natural numbers and the set of odd numbers have equal cardinalities i.e. , and yet is a subset of ()!

-The set of natural numbers and the set of even numbers have equal cardinalities i.e. , and yet is a subset of ()!

-The set of natural numbers and the set of integers have equal cardinalities i.e. , and yet is a subset of ()!

-The set of real numbers and the interval of real numbers have the same cardinality, i.e. , and yet is a subset of ()!

-Any two open finite intervals of real numbers have equal cardinalities, i.e. . For example, .

## Conclusion

In this article we learned about the visual representation using Venn diagrams; we also learned about the concept of cardinality and some of its properties in the case of finite or infinite sets, and how it allows us by counting the number of distinct elements of sets, to compare their sizes either they are finite or infinite. This article shows a part of the importance of set theory and how it is fundamental for studying limits and comparing them, it is also fundamental for Algebra, logic, and probability theory among many other branches of mathematics and other sciences. Keep in mind that this is merely scratching the surface of set theory and that the set of things to learn about set theory has an infinite cardinality!!!!!

In the meantime, you can take a look at some articles about limits and infinity like Limit of a function: Introduction, Limits of a function: Operations and Properties, Limits of a function: Indeterminate Forms, or the ones about Infinity: Facts, mysteries, paradoxes, and beyond or check the one about Probability: Introduction to Probability Theory!!!!!

Also, if you want to learn more fun subjects, check the post about Functions and some of their properties, or the one about How to solve polynomial equations of first, second, and third degrees!!!!!

And don’t forget to join us on our Facebook page for any new articles and a lot more!!!!!