Potensmengden til en endelig mengde A er en ny mengde som inneholder alle tenkelige delmengder av A.

Vi gjennomgår her i tillegg et bevis for formelen som forteller oss hvor mange delmengder en endelig mengde har.