Mathwords logoMathwords

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 UU is the fixed set such that every set AA being discussed satisfies AUA \subseteq U. It serves as the domain of discourse for set operations, particularly complementation.

Key Formula

A=UA={xUxA}A' = U \setminus A = \{ x \in U \mid x \notin A \}
Where:
  • UU = The universal set containing all elements under consideration
  • AA = A subset of the universal set
  • AA' = The complement of A relative to U

How It Works

Before working with sets, you define a universal set UU that establishes which elements are "in play." All sets you discuss are drawn from UU. The universal set is essential for finding complements: the complement of a set AA, written AA' or A\overline{A}, consists of every element in UU that is not in AA. Without a clearly defined UU, 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}U = \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\} and let A={2,4,6,8}A = \{2, 4, 6, 8\}. Find the complement of AA.
Identify elements not in A: List every element of UU that does not appear in AA.
A={1,3,5,7,9,10}A' = \{1, 3, 5, 7, 9, 10\}
Answer: A={1,3,5,7,9,10}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 UU 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 UU might be all integers; in another it might be all students in a class. Always check what UU is defined to be.