Category:Definitions/Set Complement

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Set Complement.
Related results can be found in Category: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$.

Pages in category "Definitions/Set Complement"

The following 5 pages are in this category, out of 5 total.