# Category:Power Set

Jump to navigation
Jump to search

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

### C

### D

### E

### I

### P

## Pages in category "Power Set"

The following 85 pages are in this category, out of 85 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

### N

### P

- Power Set and Two-Valued Functions are Isomorphic Boolean Rings
- Power Set can be Derived using Comprehension Principle
- Power Set Exists and is Unique
- Power Set is Algebra of Sets
- Power Set is Boolean Ring
- Power Set is Closed under Complement
- Power Set is Closed under Countable Unions
- Power Set is Closed under Intersection
- Power Set is Closed under Set Complement
- 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 Doubleton
- 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 Cardinality of Continuum
- Power Set of Natural Numbers is not Countable
- Power Set of Semigroup under Induced Operation is Semigroup
- Power Set of Singleton
- Power Set of Subset
- Power Set of Transitive Set is Transitive
- 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 equals Union of Power Set
- Set is Element of its Power Set
- Set is Equivalent to Proper Subset of Power Set
- Set is Subset of Power Set of Union
- Set is Transitive iff Subset of Power Set
- Singleton of Power Set less Empty Set is Minimal Subset
- Singleton of Set is Filter in Lattice of Power Set
- Singleton of Subset is Element of Powerset of Powerset
- 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 Boolean Ring
- Symmetric Difference with Intersection forms Ring
- Symmetric Difference with Union does not form Ring