Category:Definitions/Power Set

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Power Set.
Related results can be found in Category:Power Set.


The power set of a set $S$ is the set defined and denoted as:

$\powerset S := \set {T: T \subseteq S}$

That is, the set whose elements are all of the subsets of $S$.

Subcategories

This category has only the following subcategory.