# Category:Set Complement

This category contains results about set complements.
Definitions specific to this category can be found in Definitions/Set Complement.

The set complement (or, when the context is established, just complement) of a set $S$ in a universe $\mathbb U$ is defined as:

$\map \complement S = \relcomp {\mathbb U} S = \mathbb U \setminus S$

See the definition of Relative Complement for the definition of $\relcomp {\mathbb U} S$.

## Subcategories

This category has the following 4 subcategories, out of 4 total.