بررسی درست یا نادرست بودن گزاره
یک مجموعه ۱۰ عضوی، شامل زیرمجموعههایی با اندازههای مختلف از صفر (زیرمجموعه تهی) تا ۱۰ (خود مجموعه) است.
تعداد زیرمجموعههای یک مجموعه n عضوی برابر ۲ به توان n است.
برای n=۱۰، تعداد زیرمجموعهها برابر ۲ به توان ۱۰ = ۱۰۲۴ است.
از آنجا که یکی از این زیرمجموعهها خود مجموعه ۱۰ عضوی است، پس تعداد زیرمجموعههای محض برابر ۱۰۲۴ - ۱ = ۱۰۲۳ است.
بنابراین گزاره "یک مجموعه ۱۰ عضوی، ۱۰۲۳ زیرمجموعه محض دارد" درست است.