در ریاضیات، یک مجموعه گروهی از اشیاء متمایز است که اعضای آن مجموعه را تشکیل میدهند.
برای اینکه یک عبارت، یک مجموعه را مشخص کند، باید اعضای آن به وضوح مشخص باشند.
عبارت «سه ورزشکار کرمانشاهی» به وضوح اعضای یک مجموعه را مشخص نمیکند زیرا:
- تعداد اعضای آن مشخص نیست (چند نفر اول؟)
- هویت اعضا مشخص نیست (چه کسانی هستند؟)
پس این عبارت یک مجموعه را مشخص نمیکند.
برای مشخص کردن یک مجموعه، باید اعضای آن به وضوح و بدون ابهام تعریف شوند.
مثال: «سه عدد اول طبیعی» یک مجموعه را مشخص میکند زیرا اعضایش (1 و 2 و 3) معلوم هستند.