Hvis er en endelig mengde som inneholder elementer, er antall elementer i potensmengden til , nemlig kardinaliteten til potensmengden . (Dette forklarer notasjonen .) Man kan vise at kardinaliteten til alltid er større enn kardinaliteten til , også når er uendelig: se Cantors teorem.