به تمام زیرمجموعه های یک مجموعه،به جز خودش،زیرمجموعه محض می گویند.فرمول بدست آوردن تعداد زیرمجموعه های محض ۲ به توان n منهای یک میباشد.
مثلا زیرمجموعه های مجموعه {a,b}
۲ به توان ۲=۴ زیرمجموعه دارد.
۲ به توان ۲ منهای یک=۳ زیرمجموعه محض دارد.
وقتی از کل زیرمجموعه ها،خود مجموعه را حذف کنیم،زیرمجموعه های محض بدست می آیند.
{a} {b}
{a,b} { }
اگر {a,b} را برداریم،بقیه زیرمجموعه های محض هستند