Potenssijoukko
Wikipedia
Potenssijoukko on joukon kaikkien osajoukkojen joukkoperhe. Joukon A potenssijoukkoa merkitään tyypillisesti symboleilla
, 2A tai
.
Muodollinen määritelmä: jos A on mielivaltainen joukko, niin on
.
Ominaisuuksia:
- jos joukko A on äärellinen ja | A | on sen alkioiden lukumäärä, niin



