Potensmengde

I matematikk er potensmengden til en mengde M lik mengden av alle delmengder av M og skrives   eller 2M. Hvis, for eksempel M = {1,2,3}, så er

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

Mengdelære