عضو هیچ‌یک نبودن: قرار نداشتن یک عضو در هیچ‌کدام از دو مجموعه که در نمودار ون بیرون اجتماع نشان داده می‌شود

هر نمودار ون در یک «جهان» رسم می‌شود. این جهان شامل همهٔ اعضایی است که اصلاً می‌خواهیم درباره‌شان صحبت کنیم. مثلاً اگر مجموعهٔ «حیوانات مزرعه» و «حیوانات اهلی» را داریم، جهان می‌شود «همهٔ جانوران». حالا یک عضو مثل پشه را در نظر بگیرید: پشه نه در مجموعهٔ اول است (حیوان مزرعه نیست)، نه در مجموعهٔ دوم (حیوان اهلی نیست) و حتی در اجتماع این دو هم نیست. پشه در جهان باقی می‌ماند اما در بیرون از هر دو دایرهٔ ون قرار می‌گیرد. به این عضو می‌گوییم: «عضو هیچ‌یک».

برای درک بهتر، تصور کنید دو مجموعهٔ A و B داریم. کل جهان U (یونیورسال) است. عضو x اگر x ∉ A و x ∉ B باشد، آن‌گاه این عضو در منطقهٔ بیرون از دو دایره، یعنی در U - (A ∪ B) قرار دارد. این ناحیه را با رنگ‌بندی خاصی در نمودار ون نشان می‌دهند.

نمودار ون دو مجموعه‌ای، مستطیلی به نام جهان دارد که دو دایرهٔ هم‌پوشان درون آن قرار می‌گیرد. فضای سفیدِ خارج از دو دایره اما درون مستطیل، همان «عضو هیچ‌یک» را نشان می‌دهد. بیایید با یک مثال عددی جلو برویم:

اگر جهان را U و دو مجموعه را A و B بنامیم، اعضایی که در هیچ‌یک از دو مجموعه نیستند برابر است با:

یا به‌طور معادل:

که همان متمم اجتماع دو مجموعه است. برای دانش‌آموزان دبیرستانی، قانون دمورگان^[1] نیز این رابطه را تأیید می‌کند: $(A \cup B)^c = A^c \cap B^c$.

فرض کنید در یک فروشگاه اینترنتی، دو دسته‌کالای «لوازم‌خانگی» و «کالای دیجیتال» داریم. مشتریانی که از این دو دسته هیچ خرید نکرده‌اند اما از سایت بازدید کرده‌اند، «عضو هیچ‌یک» محسوب می‌شوند. تحلیل این گروه برای تخمین پتانسیل فروش یا شناسایی موانع خرید بسیار حیاتی است.

در علوم آزمایشگاهی نیز هنگام غربالگری داروها، ترکیباتی که نه در دستهٔ «مؤثر بر باکتری» و نه در دستهٔ «مؤثر بر ویروس» قرار می‌گیرند، «عضو هیچ‌یک» هستند و برای تحقیقات بعدی کنار گذاشته می‌شوند.

«عضو هیچ‌یک نبودن» یک مفهوم ساده اما کلیدی در نظریهٔ مجموعه‌هاست که به ما یادآوری می‌کند همیشه داده‌هایی خارج از طبقه‌بندی‌های ما وجود دارند. از کلاس دوم دبستان که با نمودار ون آشنا می‌شویم تا دورهٔ دبیرستان و مباحث پیشرفتهٔ مجموعه‌ها، این عضو بیرون‌از‌اجتماع حضور دارد. با کمک فرمول $|U| - |A \cup B|$ و تشخیص ناحیهٔ سفید در نمودار، به‌راحتی می‌توانیم اعضای هیچ‌یک را پیدا کنیم و از آن‌ها در تحلیل‌های آماری، بازاریابی و حتی زندگی روزمره بهره ببریم.

[1] قانون دمورگان (De Morgan's laws): دو قانون در جبر مجموعه‌ها و منطق که متمم اشتراک و اجتماع را به‌یکدیگر مرتبط می‌کند. (متمم اشتراک برابر اجتماع متمم‌هاست و برعکس).

[2] مجموعهٔ تهی (Empty set): مجموعه‌ای که هیچ عضوی ندارد و آن را با ∅ نشان می‌دهند.

[3] نمودار ون (Venn diagram): نمایش گرافیکی مجموعه‌ها با دایره‌های هم‌پوشان درون یک مستطیل.

[4] جهان/یونیورسال (Universal set): مجموعه‌ای که همهٔ اعضای موردبحث را در بر می‌گیرد.