Relative complement

The relative complement of two sets \(A\) and \(B\), denoted \(A \setminus B\), is the set of elements that are in \(A\) while not in \(B\).

Formally stated, where \(C = A \setminus B\)

$$x \in C \leftrightarrow (x \in A \land x \notin B)$$

That is, Iff \(x\) is in the relative complement \(C\), then \(x\) is in \(A\) and x is not in \(B\).

For example,

  • \(\{1,2,3\} \setminus \{2\} = \{1,3\}\)

  • \(\{1,2,3\} \setminus \{9\} = \{1,2,3\}\)

  • \(\{1,2\} \setminus \{1,2,3,4\} = \{\}\)

If we name the set \(U\) as the set of all things, then we can define the Absolute complement of the set \(A\), \(A^\complement\), as \(U \setminus A\)