Empty Set Examples in Math

Start with the recap, study the fully worked examples, then use the practice problems to check your understanding of Empty Set.

This page combines explanation, solved examples, and follow-up practice so you can move from recognition to confident problem-solving in Math.

Concept Recap

The empty set, denoted βˆ…\emptyset or {}\{\}, is the unique set that contains no elements at all. It is a subset of every set because the statement 'every element of βˆ…\emptyset belongs to AA' is vacuously true β€” there are no elements to contradict it.

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βˆͺβˆ…=AA \cup \emptyset = A) and the annihilator for intersection (Aβˆ©βˆ…=βˆ…A \cap \emptyset = \emptyset). It is also a subset of every set, which keeps logical statements about 'all elements of βˆ…\emptyset' vacuously true.

Read the full concept explanation β†’

How to Use These Examples

  • Read the first worked example with the solution open so the structure is clear.
  • Try the practice problems before revealing each solution.
  • Use the related concepts and background knowledge badges if you feel stuck.

What to Focus On

Core idea: The empty set is the one set with zero elements, and it is a subset of every set.

Common stuck point: The procedure for empty set is the easy part; the trap is writing 'no answer' when a solution set is empty. Asking "Does this collection genuinely contain zero elements?" first is what keeps a correct-looking calculation from being attached to the wrong concept.

Sense of Study hint: Ask: Does this collection genuinely contain zero elements?

Worked Examples

Example 1

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

Answer

(a)β€…β€Šβˆ…,(b)β€…β€Šβˆ…,(c)β€…β€ŠnotΒ empty(a)\;\emptyset,\quad (b)\;\emptyset,\quad (c)\;\text{not empty}

First step

1
(a) x2=βˆ’1x^2 = -1 has no real solution since squares are non-negative. This set is empty: βˆ…\emptyset.

Full solution

  1. 2
    (b) There is no integer strictly between 2 and 3. This set is empty: βˆ…\emptyset.
  2. 3
    (c) {0}\{0\} contains the element 00. It is not empty; it has cardinality 1.
The empty set βˆ…\emptyset contains no elements at all. A set containing zero ({0}\{0\}) is not empty β€” 00 is a perfectly valid element.

Example 2

medium
Prove that the empty set βˆ…\emptyset is a subset of every set AA.

Example 3

medium
List all subsets of βˆ…\emptyset.

Example 4

medium
Prove: for any set AA, Aβˆ–A=βˆ…A \setminus A = \emptyset.

Example 5

hard
Prove: βˆ…\emptyset is unique (no two empty sets can exist).

Example 6

hard
Find all x∈Rx \in \mathbb{R} with ∣x∣<0|x| < 0.

Example 7

medium
Express the set of real solutions to x2+4=0x^2 + 4 = 0.

Example 8

challenge
Show that P(P(βˆ…))={βˆ…,{βˆ…}}\mathcal{P}(\mathcal{P}(\emptyset)) = \{\emptyset, \{\emptyset\}\}.

Practice Problems

Try these problems on your own first, then open the solution to compare your method.

Example 1

easy
Decide which are true: (a) βˆ…={0}\emptyset = \{0\}, (b) βˆ…βŠ†{1,2,3}\emptyset \subseteq \{1,2,3\}, (c) βˆ£βˆ…βˆ£=0|\emptyset| = 0.

Example 2

medium
Let A=βˆ…A = \emptyset. Find: (a) AβˆͺBA \cup B for any set BB, (b) A∩BA \cap B for any set BB, (c) P(A)\mathcal{P}(A) (the power set of AA).

Example 3

easy
How many elements does the empty set βˆ…\emptyset contain?

Example 4

easy
Is βˆ…={0}\emptyset = \{0\}?

Example 5

easy
Is βˆ…\emptyset a subset of {1,2,3}\{1,2,3\}?

Example 6

easy
How many elements does {βˆ…}\{\emptyset\} have?

Example 7

easy
What is Aβˆͺβˆ…A \cup \emptyset for any set AA?

Example 8

easy
What is Aβˆ©βˆ…A \cap \emptyset for any set AA?

Example 9

easy
Is βˆ…βˆˆ{βˆ…}\emptyset \in \{\emptyset\}?

Example 10

easy
Is βˆ…βŠ†βˆ…\emptyset \subseteq \emptyset?

Example 11

medium
How many subsets does the empty set have? List them.

Example 12

medium
Distinguish the cardinalities: βˆ£βˆ…βˆ£|\emptyset|, ∣{βˆ…}∣|\{\emptyset\}|, ∣{βˆ…,{βˆ…}}∣|\{\emptyset,\{\emptyset\}\}|.

Example 13

medium
Is {}=βˆ…\{\} = \emptyset? And is {{}}=βˆ…\{\{\}\} = \emptyset?

Example 14

medium
Why is the statement 'every element of βˆ…\emptyset is even' true?

Example 15

medium
If A∩B=βˆ…A \cap B = \emptyset, what are AA and BB called, and can A,BA,B both be nonempty?

Example 16

medium
Compute ∣P(P(βˆ…))∣|\mathcal{P}(\mathcal{P}(\emptyset))|.

Example 17

medium
Solve {x∈R:x2+1=0}\{x \in \mathbb{R} : x^2 + 1 = 0\} β€” what set is this?

Example 18

medium
If AβŠ†βˆ…A \subseteq \emptyset, what must AA be?

Example 19

medium
Simplify (Aβˆͺβˆ…)βˆ©βˆ…(A \cup \emptyset) \cap \emptyset.

Example 20

challenge
Prove that the empty set is unique (there is only one empty set).

Example 21

challenge
Using Aβˆͺβˆ…=AA\cup\emptyset=A and Aβˆ©βˆ…=βˆ…A\cap\emptyset=\emptyset, explain the analogy between βˆ…\emptyset and the number 0.

Example 22

challenge
Show that βˆ…\emptyset is the only set with no proper supersets among its own subsets β€” i.e. P(A)={A}\mathcal{P}(A)=\{A\} iff A=βˆ…A=\emptyset? Evaluate this claim.

Example 23

easy
Is {βˆ…}=βˆ…\{\emptyset\} = \emptyset?

Example 24

medium
Is {x∈R:x2+1=0}\{x \in \mathbb{R} : x^2 + 1 = 0\} empty?

Example 25

easy
Is {x∈Z:0<x<1}\{x \in \mathbb{Z} : 0 < x < 1\} empty?

Example 26

easy
True or false: βˆ…βˆˆβˆ…\emptyset \in \emptyset.

Example 27

medium
Find Aβˆ–BA \setminus B if A={1,2,3}A=\{1,2,3\} and B=AB=A.

Example 28

medium
If A∩B=βˆ…A \cap B = \emptyset, what term describes the sets AA and BB?

Example 29

medium
Let A={x∈R:x>5}A=\{x \in \mathbb{R}: x>5\} and B={x∈R:x<3}B=\{x \in \mathbb{R}: x<3\}. Find A∩BA \cap B.

Example 30

medium
True or false: 'every element of βˆ…\emptyset is a horse' is true.

Example 31

medium
Determine whether {x∈N:x+1=0}\{x \in \mathbb{N} : x+1=0\} is empty.

Example 32

medium
If AβŠ†βˆ…A \subseteq \emptyset, what is AA?

Example 33

easy
True or false: βˆ…βŠ†{1,2}\emptyset \subseteq \{1,2\}.

Example 34

hard
For sets A,BA,B with AβˆͺB=βˆ…A \cup B = \emptyset, what must be true of AA and BB?

Related Concepts

Background Knowledge

These ideas may be useful before you work through the harder examples.

set