مجموعه جهانی

مجموعهٔ جهانی یا مجموعهٔ مرجع[ ۱] ( به انگلیسی: Universal Set ) در نظریهٔ مجموعه ها ( و البته در ریاضیات ) ، یک مجموعه است که تمام مجموعه های دیگر یا اشیائی که می خواهیم معرفی کنیم یا روی آن ها عملیاتی انجام دهیم باید عضو آن ( مجموعهٔ جهانی ) باشند. مجموعهٔ جهانی را معمولاً با «U» نشان می دهند. مجموعهٔ جهانی می تواند مطابق با نیاز، مجموعه هایی چون مجموعه اعداد طبیعی، مجموعه اعداد حسابی، مجموعه اعداد صحیح، مجموعه اعداد حقیقی، یک خط، صفحه یا فضا یا . . . باشد و در سهولت مشخص کردن مجموعه های مختلف بسیار کارا می باشد. البته نه آن که این تعریف به مجموعه های بسیار بزرگ محدود شود به عنوان نمونه و از نگاهی دیگر هر مجموعه را می توان مجموعهٔ مرجعی برای تمام زیرمجموعه هایش خواند.
مجموعه اعداد طبیعی ( N ) را در نظر می گیریم. همچنین مجموعه A را به شکل روبرو داریم: { 2 , 4 , 6 , . . . , 10 , 12 , . . . }
مجموعه A زیرمجموعه ای از اعداد طبیعی خواهد بود. یعنی هر عضو از A عضوی از N نیز به حساب می آید. به بیانی دیگر، عضوهای A از بین اعضای N انتخاب شده اند. پس می توانیم N را مجموعه مرجعی برای A بدانیم.