partitivni skup (prema lat. partitus: razdijeljen) (znak P(A)), skup svih podskupova toga skupa A sadrži sve moguće podskupove skupa A. Svaki element partitivnog skupa je skup. Npr. za skup A = {1, 2, 3}, P(A) sastoji se od praznoga skupa ∅, jednočlanih skupova {1}, {2}, {3}, dvočlanih skupova {1, 2}, {1, 3}, {2, 3} te samoga tročlanoga skupa A = {1, 2, 3}, dakle: P(A) = {∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}. Općenito, ako je skup A konačan i ima n elemenata, tada je i njegov partitivni skup P(A) konačan i ima 2n elemenata. Zbog toga se i kod beskonačnih skupova upotrebljava ista oznaka za kardinalne brojeve: ako je k kardinalni broj skupa A tj. |A| = k, kardinalni broj skupa P(A) jest |P(A)| = 2k.
