Universal Set — Definition, Formula & Examples

The universal set is the set that contains all objects or elements under consideration in a particular problem or discussion. Every other set in that context is a subset of the universal set.

In a given mathematical context, the universal set $U$ is the fixed set such that every set $A$ being discussed satisfies $A \subseteq U$ . It serves as the domain of discourse for set operations, particularly complementation.

Key Formula

A' = U \setminus A = \{ x \in U \mid x \notin A \}

Where:

$U$ = The universal set containing all elements under consideration
$A$ = A subset of the universal set
$A'$ = The complement of A relative to U

How It Works

Before working with sets, you define a universal set

U

that establishes which elements are "in play." All sets you discuss are drawn from

U

. The universal set is essential for finding complements: the complement of a set

A

, written

A'

\overline{A}

, consists of every element in

U

that is not in

A

. Without a clearly defined

U

, the complement of a set would be ambiguous.

Worked Example

Problem: Let the universal set be

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

and let

A = \{2, 4, 6, 8\}

. Find the complement of

A

Identify elements not in A: List every element of

U

that does not appear in

A

A' = \{1, 3, 5, 7, 9, 10\}

Answer:

A' = \{1, 3, 5, 7, 9, 10\}

Why It Matters

Venn diagrams rely on a universal set to define the rectangle that encloses all circles. In probability, the universal set corresponds to the sample space — the set of all possible outcomes. Defining

U

correctly is the first step in nearly every set theory problem you encounter in algebra or statistics.

Common Mistakes

Mistake: Assuming there is one fixed universal set for all of mathematics.

Correction: The universal set depends on context. In one problem

U

might be all integers; in another it might be all students in a class. Always check what

U

is defined to be.

Related Terms

Complement of a Set — Defined relative to the universal set
Empty Set — The complement of the universal set
Element of a Set — Objects that belong to a set
Intersection — Set operation performed within the universal set
Cardinality — Counts the elements in a set including U
Partition of a Set — Divides U into non-overlapping subsets