1. Subsets

1.1 Definition of a subset

A set \(A\) is a subset of a set \(B\) if every element of \(A\) is also an element of \(B\).

The mathematical notation is:

\[ \boxed{A\subseteq B} \]

This is read as “A is a subset of B.”

Example 1

Consider the sets:

\[ A=\{1,2\} \]
\[ B=\{1,2,3,4\} \]

Every element of \(A\) appears in \(B\).

Therefore:

\[ \boxed{A\subseteq B} \]

However, the reverse is not true:

\[ B\nsubseteq A \]

This is because the elements \(3\) and \(4\) belong to \(B\) but do not belong to \(A\).

1.2 Important subset rules

Rule 1: Every set is a subset of itself.

\[ \boxed{A\subseteq A} \]

Rule 2: The empty set is a subset of every set.

\[ \boxed{\varnothing\subseteq A} \]

Rule 3: A subset may contain all the elements of another set.

For example:

\[ A=\{2,4,6\},\qquad B=\{6,2,4\} \]

Since the order of elements does not matter in a set:

\[ A=B \]

Therefore:

\[ A\subseteq B\quad\text{and}\quad B\subseteq A \]

1.3 Subset versus element

Students often confuse the symbols \(\in\) and \(\subseteq\).

Consider:

\[ A=\{1,2,3\} \]

Then:

\[ 2\in A \]

This means that \(2\) is an element of \(A\).

Also:

\[ \{2\}\subseteq A \]

This means that the set containing \(2\) is a subset of \(A\).

But:

\[ \{2\}\notin A \]

because the elements of \(A\) are the numbers \(1,2,3\), not the set \(\{2\}\).

Table – Subset versus element

Notation Meaning Example
\(x\in A\) x is an element of A \(2\in\{1,2,3\}\)
\(x\notin A\) x is not an element of A \(5\notin\{1,2,3\}\)
\(A\subseteq B\) A is a subset of B \(\{1,2\}\subseteq\{1,2,3\}\)
\(A\nsubseteq B\) A is not a subset of B \(\{1,5\}\nsubseteq\{1,2,3\}\)

2. Proper Subsets

A set \(A\) is a proper subset of \(B\) if:

  • Every element of \(A\) belongs to \(B\).

  • At least one element of \(B\) does not belong to \(A\).

The notation is:

\[ \boxed{A\subsetneq B} \]

Equivalently:

\[ A\subseteq B\quad\text{and}\quad A\ne B \]

Example 2

\[ A=\{1,3\} \]
\[ B=\{1,2,3,4\} \]

Because all elements of \(A\) are in \(B\), but \(A\ne B\):

\[ \boxed{A\subsetneq B} \]

Example 3

\[ A=\{2,4,6\} \]
\[ B=\{6,4,2\} \]

Here:

\[ A=B \]

Therefore:

\[ A\subseteq B \]

but:

\[ A\not\subsetneq B \]

Important: A proper subset cannot be equal to the original set.

2.1 Number of subsets

If a finite set has \(n\) distinct elements, then the number of subsets is:

\[ \boxed{2^n} \]

The number of proper subsets is:

\[ \boxed{2^n-1} \]

Example 4

Find the number of subsets and proper subsets of:

\[ A=\{a,b,c\} \]

Solution

There are three elements:

\[ n=3 \]

Number of subsets:

\[ 2^3=8 \]

All subsets are:

\[ \varnothing,\{a\},\{b\},\{c\} \]
\[ \{a,b\},\{a,c\},\{b,c\},\{a,b,c\} \]

Number of proper subsets:

\[ 2^3-1=7 \]

The only subset that is not proper is \(A\) itself.

Remember: The empty set is included when counting subsets.

3. Equal Sets

Two sets are equal if they contain exactly the same elements.

The notation is:

\[ \boxed{A=B} \]

Example 5

\[ A=\{1,2,3\} \]
\[ B=\{3,1,2\} \]

Although the order is different, the sets contain the same elements.

Therefore:

\[ \boxed{A=B} \]

Repeated elements do not change a set:

\[ \{1,1,2,3\}=\{1,2,3\} \]

3.1 How to prove that two sets are equal

Two sets are equal if and only if each is a subset of the other:

\[ \boxed{A=B\iff A\subseteq B\text{ and }B\subseteq A} \]

This is called the double-inclusion method.

4. Universal Set and Empty Set

4.1 Universal set

The universal set contains all elements under consideration in a particular problem.

It is commonly represented by:

\[ U \]

Example 6

Suppose we are studying whole numbers from \(1\) to \(10\).

\[ U=\{1,2,3,4,5,6,7,8,9,10\} \]

Define:

\[ A=\{2,4,6,8,10\} \]

Here, \(A\) contains the even numbers in \(U\).

Thus:

\[ A\subseteq U \]

The universal set depends on the problem. It does not always mean all real numbers.

4.2 Empty set

The empty set is a set containing no elements.

It is represented by:

\[ \boxed{\varnothing} \]

Its cardinality is:

\[ |\varnothing|=0 \]

For example, consider the set of real numbers satisfying:

\[ x^2=-4 \]

No real number satisfies this equation.

Therefore, the solution set is:

\[ \boxed{\varnothing} \]

Important distinction

\[ \varnothing\ne\{\varnothing\} \]

The first set contains zero elements. The second contains one element: the empty set.

5. Disjoint Sets

Two sets are disjoint if they have no elements in common.

Mathematically:

\[ \boxed{A\cap B=\varnothing} \]

Example 7

\[ A=\{1,3,5\} \]
\[ B=\{2,4,6\} \]

There are no common elements.

Therefore:

\[ A\cap B=\varnothing \]

Disjoint sets are useful when classifying objects into categories that do not overlap.

 

Part II – Set Operations

6. Union of Sets

The union of two sets contains all elements that belong to \(A\), to \(B\), or to both.

The notation is:

\[ \boxed{A\cup B} \]

In set-builder notation:

\[ A\cup B=\{x\mid x\in A\text{ or }x\in B\} \]

The word “or” is inclusive: an element may belong to either set or both.

Example 8

\[ A=\{1,2,3\} \]
\[ B=\{3,4,5\} \]

Combining all distinct elements gives:

\[ \boxed{A\cup B=\{1,2,3,4,5\}} \]

The number \(3\) appears only once because sets do not contain duplicate elements.

Venn Diagram – Union

 

U
A
B

 

 

The shaded region represents the union
of sets A and B, including their overlap.

\(A \cup B\)