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.

All concepts Search

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.

Units (1)

Set Theory and Relations: The Structure Underneath LogicStudents learn the language of sets, relations, and functions that underlies most of modern formal logic. They master set operations, rel…

Lessons (1)

Operations on SetsSet Theory and Relations: The Structure Underneath Logic

Other concepts in Foundations

A, E, I, O Propositions Accessibility Relation Argument Atomic Statement Base Rate Bayes Factor Calibration Cardinality Cartesian Product Categorical Proposition Categorical Syllogism Circularity