العلاقة الثنائية المجموعة set، يعد مفهوم المجموعة من المفاهيم الأساسية في علم الرياضيات. وحيث إن كلمة مجموعة هي كلمة أولية في هذا العلم، وهي ببساطة جماعة من الأشياء، كل شيء من هذه الأشياء يدعى عنصراً، ووجوده فيها يوصف بالانتماء لها. لذا فليس للمجموعة تعريف، وإنما تُعرَف بعناصرها. فإذا كان a عنصراً في مجموعة A، قيل إن a ينتمي إلى A، ورمز لذلك بـ aÎA، وإذا لم يكن b عنصراً في المجموعة A، قيل إن b لا ينتمي إلى A، ورمز لذلك بـ bÏA. مثلاً مجموعة أيام الأسبوع هي {الجمعة، السبت، الأحد، الاثنين، الثلاثاء، الأربعاء، الخميس} ومجموعة أشهر السنة الهجرية هي {محرم، صفر، ربيع أول، ربيع ثاني، جمادى أولى، جمادى أخرى، رجب، شعبان، رمضان، شوال، ذو القعدة، ذو الحجة}. مثال (1): إن مجموعة الأعداد الطبيعية هي N={1,2,3,…} فالعدد 17ÎN بينما العدد -2ÏN. ومجموعة الأعداد الصحيحة هي Z=[…,-3,-2,-1,0,1,2,3..} وكل من العددين ينتمي إلى هذه المجموعة، أي 17ÎZ, -2ÎZ. وكذلك بفرض A={xÎN: x³9} فإن 5ÏA بينما 11ÎA.
