تعريف المجموعة:
تُعرَّف المجموعة رياضيًّا أو منطقيًّا بأنها أي تجمع أو تكتل من الأشياء الحسية أو المعنوية التي يمكن تميزها عن غيرها بمعيار دقيق وقاطع متفق عليه. مثالٌ على ذلك المجموعاتُ التالية:
أ- مجموعة الأعداد.
ب- مجموعة الاثنى عشر شهرًا في السنة الميلادية.
ج- مجموعة الأعداد الكبيرة.
د- مجموعة الحدائق الجميلة في المملكة العربية السعودية.
ففيها نعتبر (أ) و (ب) مجموعتين؛ لأن عناصرها معروفة ومحددة، أما المجموعتان (ج) و (د) فلا نعتبرهما _رياضيًّا_ مجموعتين؛ لأن المعايير الموجودة فيها هي معايير نسبية وليست دقيقة؛ فمعيار الكبر والجمال يتفاوت من شخص إلى آخر. فإذن عناصر (ج) و (د) غير معروفة وغيرمحددة؛ ولذلك لا نعتبرهما مجموعتين