Let be a subset of . The complement of in (denoted when the larger set is clear from context) is the set difference .
The Venn diagram below illustrates the complement of in red.
Let be a set with subsets for , where is an arbitrary index-set. In other words, can be finite, countable, or uncountable. Then