Mathwords logoMathwords

Complementation — Definition, Formula & Examples

Complementation is the operation of finding the complement of a set — that is, collecting every element in the universal set that does not belong to the given set.

Given a universal set UU and a subset AUA \subseteq U, complementation is the unary operation that maps AA to the set A={xU:xA}A' = \{x \in U : x \notin A\}, containing exactly those elements of UU not in AA.

Key Formula

A=UA={xU:xA}A' = U \setminus A = \{x \in U : x \notin A\}
Where:
  • AA' = The complement of set A
  • UU = The universal set containing all elements under discussion
  • AA = The given subset of U

How It Works

To perform complementation, start with a clearly defined universal set UU and a subset AA. Remove every element that belongs to AA from UU. The remaining elements form the complement AA'. A key property is that AA and AA' together partition the universal set: AA=UA \cup A' = U and AA=A \cap A' = \varnothing. Complementation applied twice returns the original set: (A)=A(A')' = A.

Worked Example

Problem: Let U={1,2,3,4,5,6,7,8}U = \{1, 2, 3, 4, 5, 6, 7, 8\} and A={2,4,6,8}A = \{2, 4, 6, 8\}. Find the complement of AA.
Identify elements not in A: Compare each element of U against A. The elements 1, 3, 5, and 7 are in U but not in A.
A={1,3,5,7}A' = \{1, 3, 5, 7\}
Verify the partition property: Check that A and A' together cover U with no overlap.
AA={1,2,3,4,5,6,7,8}=U,AA=A \cup A' = \{1,2,3,4,5,6,7,8\} = U, \quad A \cap A' = \varnothing
Answer: A={1,3,5,7}A' = \{1, 3, 5, 7\}

Why It Matters

Complementation is essential in probability, where P(A)=1P(A)P(A') = 1 - P(A) lets you calculate the chance of an event not happening. It also appears in logic (negation), database queries, and De Morgan's Laws, which connect complements with unions and intersections.

Common Mistakes

Mistake: Finding the complement without specifying or considering the universal set.
Correction: The complement depends entirely on what U is. The same set A can have different complements under different universal sets. Always define U first.