Rigorous Reasoning

Concept · Foundations

Power Set

The power set of a set A, written P(A) or 2^A, is the set whose elements are all the subsets of A, including the empty set and A itself.

Why it matters

The power set operation transforms any set into a new set of higher size and is the source of Cantor's theorem and the first infinite hierarchy of cardinalities.

Where this shows up

Units and lessons using this concept

Following the links will take you to the page where this term is introduced in context.

Related

Other concepts in Foundations

A, E, I, O PropositionsAccessibility RelationArgumentAtomic StatementAuthorial IntentBase RateBayes FactorBurden of Proof in InterpretationCalibrationCardinalityCartesian ProductCategorical Proposition