تفاضل دو مجموعه: مجموعهٔ عناصری که عضوِ A هستند و عضوِ B نیستند.

آشنایی با مفهوم «تفاضل» یا «اختلاف» دو مجموعه؛ عناصری که فقط به A تعلق دارند و در B نیستند.

تفاضل دو مجموعه که با نماد $ A - B $ یا $ A \setminus B $ نمایش داده می‌شود، یکی از عملیات پایه‌ای در نظریهٔ مجموعه‌ها است. این مفهوم به ما کمک می‌کند تا اعضایی را مشخص کنیم که منحصراً به مجموعهٔ اول تعلق دارند و در مجموعهٔ دوم عضوی ندارند. درک این موضوع برای پیشبرد مفاهیمی مانند مجموعهٔ متمم، تفاضل متقارن و حل مسائل روزمرهٔ دسته‌بندی داده‌ها ضروری است.

در نظریهٔ مجموعه‌ها، تفاضل دو مجموعه $ A $ و $ B $ (به ترتیب ذکر شده) مجموعه‌ای است از تمام عناصری که در $ A $ وجود دارند، اما در $ B $ عضوی از آنها یافت نمی‌شود. این تعریف را می‌توان به زبان ریاضی به صورت زیر نوشت:

توجه به ترتیب مجموعه‌ها در این عمل بسیار حیاتی است. تفاضل $ A - B $ با $ B - A $ معمولاً دو مجموعهٔ کاملاً متفاوت هستند، مگر در حالت خاصی که $ A = B $ باشد که در آن صورت هر دو تفاضل، مجموعهٔ خالی خواهد بود.

برای روشن شدن موضوع، بیایید چند مثال ملموس را بررسی کنیم. فرض کنید $ A = \{۱, ۲, ۳, ۴, ۵\} $ و $ B = \{۴, ۵, ۶, ۷\} $. در این صورت:

• $ A - B $ مجموعهٔ عناصری از $ A $ است که در $ B $ نیستند، یعنی $\{۱, ۲, ۳\}$.
• $ B - A $ مجموعهٔ عناصری از $ B $ است که در $ A $ نیستند، یعنی $\{۶, ۷\}$.

مثال علمی در یک آزمایشگاه زیست‌شناسی، مجموعهٔ $ A $ شامل تمام باکتری‌های موجود در یک نمونهٔ آب و مجموعهٔ $ B $ شامل باکتری‌های بیماری‌زای شناخته شده است. در این صورت $ A - B $ مجموعهٔ باکتری‌های غیربیماری‌زای موجود در نمونهٔ آب خواهد بود.

تفاضل دو مجموعه ارتباط نزدیکی با مفهوم متمم¹ دارد. اگر مجموعهٔ $ B $ زیرمجموعهٔ مجموعهٔ جهانی $ U $ باشد، آن‌گاه متمم $ B $ (یعنی $ B^c $) برابر است با $ U - B $. همچنین، مفهوم تفاضل متقارن² که با $ A \bigtriangleup B $ نشان داده می‌شود، به صورت $ (A - B) \cup (B - A) $ تعریف می‌گردد.

فرض کنید در یک فروشگاه اینترنتی، مجموعهٔ $ A $ نشان‌دهندهٔ شناسهٔ کاربرانی است که در هفتهٔ گذشته از وب‌سایت بازدید کرده‌اند و مجموعهٔ $ B $ شناسهٔ کاربرانی است که در همین بازه زمانی خریدی انجام داده‌اند. در این صورت:

• $ A - B $ کاربرانی هستند که از سایت بازدید کرده‌اند اما خریدی نداشته‌اند (گروه هدف برای کمپین‌های تشویقی).
• $ B - A $ (در صورت وجود) نشان‌دهندهٔ کاربرانی است که خرید کرده‌اند اما بازدیدی ثبت نشده است که می‌تواند نشانه‌ای از مشکل در سیستم ردیابی باشد.

موقعیت عضو	عضو $ A $ است؟	عضو $ B $ است؟	عضو $ A - B $ است؟
دستهٔ اول	بله	خیر	بله
دستهٔ دوم	بله	بله	خیر
دستهٔ سوم	خیر	بله	خیر
دستهٔ چهارم	خیر	خیر	خیر

سؤال ۱: اگر مجموعهٔ $ A $ و $ B $ هیچ عضو مشترکی نداشته باشند (ناهم‌فرسا)، آن‌گاه $ A - B $ چه مجموعه‌ای خواهد بود؟
پاسخ: در این حالت، چون هیچ عضوی از $ A $ در $ B $ وجود ندارد، بنابراین تمام اعضای $ A $ شرایط عضویت در $ A - B $ را دارند. به عبارت دیگر، $ A - B = A $.

سؤال ۲: آیا ممکن است $ A - B $ برابر با $ B - A $ شود؟ در چه شرایطی؟
پاسخ: بله، این برابری تنها در یک حالت خاص رخ می‌دهد: وقتی $ A $ و $ B $ دقیقاً اعضای یکسانی داشته باشند ($ A = B $). در این صورت هر دو تفاضل، مجموعهٔ خالی $\varnothing$ هستند.

سؤال ۳: اگر $ A \subseteq B $ (یعنی $ A $ زیرمجموعهٔ $ B $ باشد)، نتیجهٔ $ A - B $ چیست؟
پاسخ: اگر $ A $ زیرمجموعهٔ $ B $ باشد، یعنی هر عضو $ A $ در $ B $ هم هست. بنابراین هیچ عضوی در $ A $ پیدا نمی‌شود که در $ B $ نباشد. در نتیجه $ A - B = \varnothing $.

جمع‌بندی: تفاضل دو مجموعه یک عملگر ساده اما قدرتمند است که به ما امکان جداسازی و شناسایی عناصر منحصربه‌فرد یک مجموعه را می‌دهد. درک صحیح آن، پایه و اساس درک عملیات‌های پیشرفته‌تر در نظریه مجموعه‌ها و کاربردهای گسترده آن در علوم کامپیوتر، آمار و تحلیل داده‌ها را تشکیل می‌دهد. همیشه به یاد داشته باشید که ترتیب مجموعه‌ها در این عملگر، نتیجه را به کلی تغییر می‌دهد.

¹ متمم (Complement): مجموعهٔ تمام اعضای مجموعهٔ جهانی که به یک مجموعهٔ خاص تعلق ندارند.
² تفاضل متقارن (Symmetric Difference): مجموعهٔ اعضایی که دقیقاً به یکی از دو مجموعه تعلق دارند، نه به هر دو.