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 13 subcategories, out of 13 total.
A
- Axiom of Powers (1 P)
B
C
- Cantor's Theorem (9 P)
- Cardinality of Power Set (5 P)
E
- Examples of Power Sets (7 P)
I
N
P
Pages in category "Power Set"
The following 91 pages are in this category, out of 91 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 Power Set of Natural Numbers Equals Cardinality of Real Numbers
- Cardinality of Set less than Cardinality of Power Set
- Choice Function for Power Set implies Choice Function for Set
- Compact Closure is Set of Finite Subsets in Lattice of Power Set
- Condition for Power Set to be Totally Ordered
- Cowen's Theorem/Lemma 1
E
F
I
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 is Nonempty
- 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 Natural Numbers is Cardinality of Continuum
- Power Set of Natural Numbers is Uncountable
- Power Set of Singleton
- Power Set of Subset
- Power Set of Transitive Set is Transitive
- Power Set with Intersection and Subset Relation is Ordered Semigroup
- Power Set with Intersection and Superset Relation is Ordered Semigroup
- Power Set with Intersection is Commutative Monoid
- Power Set with Union and Intersection forms Boolean Algebra
- Power Set with Union and Subset Relation is Ordered Semigroup
- Power Set with Union and Superset Relation is Ordered Semigroup
- Power Set with Union is Commutative Monoid
- Power Structure of Subset is Closed iff Subset is Closed
- Powerset is not Subset of its Set
- Powerset of Subset is Closed under Intersection
- Powerset of Subset is Closed under Symmetric Difference
- Powerset of Subset is Closed under Union
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
- Set of Normal Subgroups of Group is Subsemigroup of Power Set under Intersection
- 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 is Element 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 Boolean Ring
- Symmetric Difference with Intersection forms Ring
- Symmetric Difference with Union does not form Ring