Empty Set Formula

The Formula

A \cup \emptyset = A; A \cap \emptyset = \emptyset; |\emptyset| = 0

When to use: Think of an empty box that is still a valid box—it just holds nothing. The empty set plays the same role for sets that zero plays for numbers: it is the identity element for union (A \cup \emptyset = A) and the annihilator for intersection (A \cap \emptyset = \emptyset). It is also a subset of every set, which keeps logical statements about 'all elements of \emptyset' vacuously true.

Quick Example

The set of integers between 2 and 3 is \emptyset. \{x : x > x\} = \emptyset

Notation

\emptyset or \{\}

What This Formula Means

The empty set, written \emptyset or \{\}, is the unique set containing no elements whatsoever.

Think of an empty box that is still a valid box—it just holds nothing. The empty set plays the same role for sets that zero plays for numbers: it is the identity element for union (A \cup \emptyset = A) and the annihilator for intersection (A \cap \emptyset = \emptyset). It is also a subset of every set, which keeps logical statements about 'all elements of \emptyset' vacuously true.

Formal View

\emptyset = \{x : x \neq x\}; \forall x\,(x \notin \emptyset); |\emptyset| = 0

Worked Examples

Example 1

easy
Determine whether each set is empty: (a) \{x \in \mathbb{R} : x^2 = -1\}, (b) \{x \in \mathbb{Z} : 2 < x < 3\}, (c) \{0\}.

Solution

  1. 1
    (a) x^2 = -1 has no real solution since squares are non-negative. This set is empty: \emptyset.
  2. 2
    (b) There is no integer strictly between 2 and 3. This set is empty: \emptyset.
  3. 3
    (c) \{0\} contains the element 0. It is not empty; it has cardinality 1.

Answer

(a)\;\emptyset,\quad (b)\;\emptyset,\quad (c)\;\text{not empty}
The empty set \emptyset contains no elements at all. A set containing zero (\{0\}) is not empty — 0 is a perfectly valid element.

Example 2

medium
Prove that the empty set \emptyset is a subset of every set A.

Common Mistakes

  • Writing \emptyset as \{0\} — the empty set has NO elements, while \{0\} contains the number zero
  • Confusing \emptyset with \{\emptyset\} — \emptyset has 0 elements, \{\emptyset\} has 1 element (the empty set itself)
  • Thinking \emptyset is not a subset of other sets — \emptyset \subseteq A is true for every set A

Why This Formula Matters

The empty set is the "zero" of set theory: A \cup \emptyset = A, A \cap \emptyset = \emptyset, and every equation with no solution has an empty solution set.

Frequently Asked Questions

What is the Empty Set formula?

The empty set, written \emptyset or \{\}, is the unique set containing no elements whatsoever.

How do you use the Empty Set formula?

Think of an empty box that is still a valid box—it just holds nothing. The empty set plays the same role for sets that zero plays for numbers: it is the identity element for union (A \cup \emptyset = A) and the annihilator for intersection (A \cap \emptyset = \emptyset). It is also a subset of every set, which keeps logical statements about 'all elements of \emptyset' vacuously true.

What do the symbols mean in the Empty Set formula?

\emptyset or \{\}

Why is the Empty Set formula important in Math?

The empty set is the "zero" of set theory: A \cup \emptyset = A, A \cap \emptyset = \emptyset, and every equation with no solution has an empty solution set.

What do students get wrong about Empty Set?

\emptyset \neq \{\emptyset\}. The empty set is different from a set containing the empty set.

What should I learn before the Empty Set formula?

Before studying the Empty Set formula, you should understand: set.

← Back to Empty Set See All Examples Practice Problems

Related Concepts

SetCardinality