Mathematical set containing all subsets of a given set
For the search engine developer, see Powerset (company).
Power set
The elements of the power set of {x, y, z} ordered with respect to inclusion.
Type
Set operation
Field
Set theory
Statement
The power set is the set that contains all subsets of a given set.
Symbolic statement
In mathematics, the power set (or powerset) of a set S is the set of all subsets of S, including the empty set and S itself.[1] In axiomatic set theory (as developed, for example, in the ZFC axioms), the existence of the power set of any set is postulated by the axiom of power set.[2]
The powerset of S is variously denoted as P(S), 𝒫(S), P(S), , , or 2S.[a]
Any subset of P(S) is called a family of sets over S.
^ abWeisstein
^Devlin 1979, p. 50
Cite error: There are <ref group=lower-alpha> tags or {{efn}} templates on this page, but the references will not show without a {{reflist|group=lower-alpha}} template or {{notelist}} template (see the help page).
mathematics, the powerset (or powerset) of a set S is the set of all subsets of S, including the empty set and S itself. In axiomatic set theory (as developed...
of powerset is one of the Zermelo–Fraenkel axioms of axiomatic set theory. It guarantees for every set x {\displaystyle x} the existence of a set P (...
example, the powerset of {1, 2} is { {}, {1}, {2}, {1, 2} }. Some basic sets of central importance are the set of natural numbers, the set of real numbers...
that set, where P {\displaystyle {\mathcal {P}}} represents the powerset operator. Therefore, the existence of the Cartesian product of any two sets in...
mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is countable...
itself; equivalently, the powerset of the empty set is the set containing only the empty set. The number of elements of the empty set (i.e., its cardinality)...
In mathematics, fuzzy sets (also known as uncertain sets) are sets whose elements have degrees of membership. Fuzzy sets were introduced independently...
mathematics, particularly set theory, a finite set is a set that has a finite number of elements. Informally, a finite set is a set which one could in principle...
union is infinite. The powerset of an infinite set is infinite. Any superset of an infinite set is infinite. If an infinite set is partitioned into finitely...
mathematics, an uncountable set, informally, is an infinite set that contains too many elements to be countable. The uncountability of a set is closely related...
empty set are also members of any set A is vacuously true). The set of all subsets of a given set A is called the powerset of A and is denoted by 2 A {\displaystyle...
addition modulo 2. The powerset of any set becomes an abelian group under the operation of symmetric difference, with the empty set as the neutral element...
IBM POWER is a reduced instruction set computer (RISC) instruction set architecture (ISA) developed by IBM. The name is an acronym for Performance Optimization...
\subseteq } is a partial order on the set P ( S ) {\displaystyle {\mathcal {P}}(S)} (the powerset of S—the set of all subsets of S) defined by A ≤ B...
function, from A to B. For example, the set N of all natural numbers has cardinality strictly less than its powerset P(N), because g(n) = { n } is an injective...
follows. For a collection T of subsets of X (that is, for any subset of the powerset P(X) of X), let T σ {\displaystyle T_{\sigma }} be all countable unions...
exponent or power. Exponentiation is written as bn, where b is the base and n is the power; this is pronounced as "b (raised) to the (power of) n". When...
Reliance Power Limited (R-Power), formerly Reliance Energy Generation Limited (REGL) is a part of the Reliance Anil Dhirubhai Ambani Group. It was established...
set of subsets of a given set (its powerset) ordered by inclusion (see Fig. 1). Similarly, the set of sequences ordered by subsequence, and the set of...