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