Empty Set

The empty set is the set that contains no elements. It is denoted by the symbol ∅ or by empty braces, { }.

At first glance, the empty set may seem like a simple idea. After all, it represents a collection that contains nothing. Yet this apparently simple concept plays a fundamental role in set theory and throughout modern mathematics.

The symbol ∅ is read as "the empty set" or simply "empty."

A Simple Example

Consider the set of odd natural numbers divisible by two. Such a set contains no elements because no odd natural number is divisible by two. Therefore, the set is empty.

There is only one empty set. The set of odd natural numbers divisible by two is empty. The set of four-sided triangles is also empty. Although these descriptions refer to different situations, they define exactly the same mathematical object: the empty set. $$ \emptyset = \{ \ \ \} $$

The empty set is interesting because it is a well-defined mathematical object even though it contains nothing. In a sense, it provides a formal way to represent the idea of "nothing" within mathematics.

The Empty Set Is a Subset of Every Set

One of the most important properties of the empty set is that it is a subset of every set.

Proof

We can prove this statement by contradiction.

Let A be any set, and assume that the empty set is not a subset of A.

If this were true, there would have to be at least one element belonging to the empty set that is not an element of A.

However, the empty set contains no elements at all. Therefore, such an element cannot exist.

This contradiction shows that our assumption was false. Hence, the empty set must be a subset of A.

Since A was chosen arbitrarily, the conclusion holds for every set.

Alternative Proof. If B is a subset of A, then the union of A and B is equal to A. $$ A \cup B = A $$ The same property holds when B is the empty set. $$ A \cup \emptyset = A $$ This is consistent with the fact that the empty set is a subset of A.

Key Properties of the Empty Set

The empty set has several important properties that appear throughout set theory, algebra, topology, and many other branches of mathematics.

• There is only one empty set
  The empty set is unique. No matter how it is described, it is always the same mathematical object.

  This uniqueness guarantees that all statements about the empty set apply universally. For this reason, mathematicians speak of the empty set, not of multiple empty sets.

• The empty set is a subset of every set
  This is one of the most fundamental results in set theory.

  A set \(A\) is a subset of a set \(B\) if every element of \(A\) is also an element of \(B\). Since the empty set contains no elements, there is no element that could violate this condition. Therefore, the statement is automatically true for every set \(B\). This is an example of what mathematicians call a vacuously true statement.

• Identity element for union
  Taking the union of any set with the empty set leaves the original set unchanged. $$ A \cup \emptyset = A $$

  Example. Let A = {a, b, c} and B = { }. Then: $$ A \cup B = \{ a,b,c \} \cup \{ \ \} = \{a,b,c \} = A $$ $$ B \cup A = \{ \ \} \cup \{ a,b,c \} = \{a,b,c \} = A $$

• Identity element for set difference
  Removing the elements of the empty set from a set changes nothing because there are no elements to remove. $$ A \setminus \emptyset = A $$

  Example. Let A = {a, b, c} and B = { }. Then: $$ A \setminus B = \{ a,b,c \} \setminus \{ \ \} = \{a,b,c \} = A $$ Conversely: $$ B \setminus A = \emptyset \setminus A = \{ \ \} \setminus \{ a, b, c \} = \{ \ \} = B $$

• Absorbing element for intersection
  The intersection of any set with the empty set is always empty because there are no common elements. $$ A \cap \emptyset = \emptyset $$

  Example. Let A = {a, b, c} and B = { }. Then: $$ A \cap B = \{ a,b,c \} \cap \{ \ \} = \emptyset $$ $$ B \cap A = \{ \ \} \cap \{ a,b,c \} = \emptyset $$

• Complement
  The complement of the empty set in a universal set \(U\) is the entire universal set.

  $$ U \setminus \emptyset = U $$

• Cartesian product
  The Cartesian product of any set with the empty set is empty because no ordered pairs can be formed. $$ A \times \emptyset = \emptyset $$ $$ \emptyset \times A = \emptyset $$
• Power set
  The power set of the empty set contains exactly one element: the empty set itself. $$ \mathcal{P}(\emptyset) = \{\emptyset\} $$
• The empty set is both open and closed in topology
  In every topological space, the empty set is both open and closed. A set with both properties is called clopen.
• Is the Empty Set a Proper or Improper Subset?
  Different textbooks use different conventions. Some define the empty set as a proper subset of every nonempty set, while others classify it as an improper subset. The distinction depends entirely on the definition of proper subset being used.

The empty set may contain no elements, but it is far from insignificant. Its properties form the foundation of many definitions, proofs, and constructions throughout mathematics, making it one of the most important concepts in set theory.