Astmehulk
Astmehulk ehk potentshulk on matemaatikas hulk, mis koosneb antud hulga S {\displaystyle S} kõigist alamhulkadest (kaasa arvatud tühi hulk ja hulk S {\displaystyle S} ise). Zermelo-Fraenkeli aksiomaatikas postuleerib astmehulga olemasolu astmehulga aksioom, mille järgi igal hulgal on olemas astmehulk. Hulga S {\displaystyle S} astmehulka tähistatakse kujul 𝒫(S), P(S), P ( S ) {\displaystyle \mathbb {P} (S)} , ℘ ( S ) {\displaystyle \wp (S)} või 2S. Tähis 2S tähistab õigupoolest hulka, mille elemendid on kõik funktsioonid hulgast S {\displaystyle S} mõnda kahe elemendiga hulka (näiteks { 0 , 1 } {\displaystyle \{0,1\}} ); seda kasutatakse sellepärast, et hulga S {\displaystyle S} astmehulk on selle funktsioonide hulgaga võrdvõimas.