مجموعه محض یا زیرمجموعه سره به مجموعهای گفته میشود که تمام اعضای آن در مجموعه دیگری وجود داشته باشد، اما این دو مجموعه دقیقاً یکسان نباشند. به عبارت دیگر، مجموعه محض تمام اعضای مجموعه بزرگتر را ندارد.
مثال:
فرض کنید مجموعه A شامل اعداد {1، 2، 3} باشد و مجموعه B شامل اعداد {1، 2} باشد. در این صورت:
* مجموعه B زیرمجموعه مجموعه A است، زیرا تمام اعضای B در A نیز وجود دارند.
* مجموعه B زیرمجموعه محض مجموعه A است، زیرا B تمام اعضای A را ندارد (عدد 3 در B وجود ندارد).