Potenční množina

Pro množinu pak definujeme její potenční množinu jako množinu obsahující všechny podmnožiny A, značíme (angl. power set):

Je to podmnožina jiného universa, než množina samotná.