De machtsverzameling van een verzameling , aangegeven door  of , is de verzameling van alle deelverzamelingen van . Het symbool  staat voor 'power', het Engelse woord voor 'macht'. De definitie is dus:

Voorbeeld
Zij , dan is  een deelverzameling van , evenals ,  etc. De complete lijst van deelverzamelingen van  is:
  de lege verzameling
 
 
 
 
 
 
 

De machtsverzameling is de verzameling van deze deelverzamelingen:

Als  het aantal elementen is in , dus , dan geldt voor de machtsverzameling: 
 

Dit is als volgt in te zien: elk element kan wel of niet tot een deelverzameling behoren. Dat geeft 2×2×2×...×2 mogelijkheden in totaal. 

De machtsverzameling van een oneindige verzameling kan ook worden gedefinieerd. Het diagonaalbewijs van Cantor toont aan dat de kardinaliteit van de machtsverzameling van een oneindige verzameling altijd strikt groter is dan die van de verzameling zelf. De machtsverzameling is 'oneindiger' dan de oorspronkelijke verzameling. Tussen enerzijds de machtsverzameling van de natuurlijke getallen en anderzijds de reële getallen is een bijectie te vinden. Dit kan met behulp van oneindige rijen van nullen en enen. De twee machtsverzamelingen van twee verzamelingen met dezelfde kardinaliteit hebben ook dezelfde kardinaliteit.

De machtsverzameling van de lege verzameling is een singleton, met als enige element de lege verzameling.

De machtsverzameling van een verzameling , met daarop de bewerkingen vereniging, doorsnede en complement, vormt het standaardvoorbeeld van een booleaanse algebra. Het is zelfs mogelijk om aan te tonen dat elke eindige booleaanse algebra isomorf is met een booleaanse algebra van een machtsverzameling voor een bepaalde verzameling . Voor oneindige booleaanse algebra's geldt dit niet, maar wel geldt dat elke oneindige booleaanse algebra een deelalgebra van een machtsverzameling van een booleaanse algebra is.

Door ieder element van de machtsverzameling te associëren met zijn indicatorfunctie ontstaat een bijectie tussen  en , de verzameling van alle functies van  naar het paar . Dit verklaart de notatie . De relatie 'is een deelverzameling van' vormt op een machtsverzameling een partiële ordening.

Het binomium van Newton  somt de kardinaliteit van de deelverzamelingen met  elementen van een verzameling  van  elementen op. Dus is

Verzamelingenleer