Potentzia-multzo: berrikuspenen arteko aldeak

''A'' multzo baten azpimultzo guztiek osatzen duten multzoari '''potentzia-multzo''' deritzo (edo '''A multzoaren parteen multzo'''), eta ℘(''A'') edo 2^''A'' written <math>\mathcal{P}(A)</math>, ''P''(''A''), [[Weierstrass p|&weierp;]](''A'') or [[Power set#Representing subsets as functions|2^''A'']] adierazten da. Adibidez, ''S'' = {x, y, z} izanik, bere azpimultzoak ∅, {x}, {y}, {z}, {x, y}, {x, z}, {y, z} eta {x, y, z} dira, eta potentzia-multzoa ℘(''S'') = {{x, y, z}, {x, y}, {x, z}, {y, z}, {x}, {y}, {z}, ∅}. Potentzia-multzoaren kardinala multzoarena baino handiagoa da beti. Multzo baten kardinala ''n'' izanez gero, bere potentzia-multzoaren kardinala 2^''n'' da. Multzoa infinitua baldin bada, bai [[multzo zenbakarri|zenbakarria]] bai zenbakaitza, potentzia-multzoa infinitu zenbakaitza izango da. Zenbaki arrunten potentzia-multzoa bijekzio bidez zenbaki errealen multzoarekin lotu daiteke, esaterako.