Complement

The elements of an ambient universe that are not in a given set.
Complement

A complement of a set AA is defined relative to a fixed ambient set (universe) UU with AUA\subseteq U. The complement of AA in UU is

Ac={xU:xA}. A^{c}=\{x\in U : x\notin A\}.

Equivalently, AcA^{c} is the UAU\setminus A. Complements interact with and through De Morgan’s laws.

Examples:

  • If U={1,2,3,4}U=\{1,2,3,4\} and A={1,4}A=\{1,4\}, then Ac={2,3}A^{c}=\{2,3\}.
  • If U=RU=\mathbb{R} and A={xR:x0}A=\{x\in\mathbb{R}: x\ge 0\}, then Ac={xR:x<0}A^{c}=\{x\in\mathbb{R}: x<0\}.