# Category:Power Set

This category contains results about power sets.

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 the following 7 subcategories, out of 7 total.

### C

### E

### I

## Pages in category "Power Set"

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

### B

### C

- Cantor's Theorem
- Cantor's Theorem (Strong Version)
- Cardinality of Power Set is Invariant
- Cardinality of Power Set of Finite Set
- Cardinality of Set less than Cardinality of Power Set
- Compact Closure is Set of Finite Subsets in Lattice of Power Set
- Condition for Power Set to be Totally Ordered
- Continuum equals Cardinality of Power Set of Naturals

### E

### F

### I

### M

### N

### P

- Power Set and Two-Valued Functions are Isomorphic Boolean Rings
- Power Set is Algebra of Sets
- Power Set is Boolean Ring
- Power Set is Closed under Intersection
- Power Set is Closed under Set Difference
- Power Set is Closed under Symmetric Difference
- Power Set is Closed under Union
- Power Set is Complete Lattice
- Power Set is Filter in Lattice of Power Set
- Power Set is Lattice
- Power Set less Empty Set has no Smallest Element iff not Singleton
- Power Set of Empty Set
- Power Set of Finite Set is Finite
- Power Set of Group under Induced Operation is Monoid
- Power Set of Group under Induced Operation is Semigroup
- Power Set of Magma under Induced Operation is Magma
- Power Set of Monoid under Induced Operation is Monoid
- Power Set of Natural Numbers is not Countable
- Power Set of Semigroup under Induced Operation is Semigroup
- Power Set of Subset
- Power Set with Intersection is Commutative Monoid
- Power Set with Union and Intersection forms Boolean Algebra
- Power Set with Union is Commutative Monoid

### S

- Set is Element of its Power Set
- Set is Equivalent to Proper Subset of Power Set
- Singleton of Power Set less Empty Set is Minimal Subset
- Singleton of Set is Filter in Lattice of Power Set
- Subset Relation on Power Set is Partial Ordering
- Supremum of Power Set
- Symmetric Difference on Power Set forms Abelian Group
- Symmetric Difference with Intersection forms Ring