Potenssijoukko on joukon kaikkien osajoukkojen joukkoperhe. Joukon $A$ potenssijoukkoa merkitään tyypillisesti symboleilla $\backslash mathcal\{P\}(A)$, $2^A$ tai $\backslash operatorname\{pot\}A$.

Muodollinen määritelmä: jos $A$ on mielivaltainen joukko, niin on $\backslash mathcal\{P\}(A)\; =\; \backslash \{\; B\; \backslash ,\; |\; \backslash ,\; B\; \backslash subset\; A\; \backslash \}$.

Ominaisuuksia:

• jos joukko $A$ on äärellinen ja $|A|$ on sen alkioiden lukumäärä, niin $|\backslash mathcal\{P\}(A)|\; =\; 2^\{|A|\}$
• $\backslash mathcal\{P\}(\backslash varnothing)\; =\; \backslash \{\; \backslash varnothing\; \backslash \}$

Katso myös

• Tyhjä joukko

Aiheesta muualla

• MathWorld. Power Set

Joukko-oppi

Potenční množina | Potenzmenge | Power set | Conjunto potencia | Insieme delle parti | קבוצת החזקה | Hatványhalmaz | Machtsverzameling | 冪集合 | Potensmengde | Zbiór potęgowy | Conjunto de partes | Булеан | 冪集