In set theory
, complementation is the function that, given a set, produces its complement
, that is, everything that is not in the set.
This only makes sense given some known universe of elements that the first set is assumed to draw its elements from.
For example, complementing the odd numbers produces the even numbers, but only under the assumption that we are working within the natural numbers.