تفاضل مجموعه‌ها یکی از عملیات بنیادی روی مجموعه‌هاست که برای مشخص‌کردن اعضایی به کار می‌رود که در یک مجموعه قرار دارند اما در مجموعه دیگر قرار ندارند. اگر \(A\) و \(B\) دو مجموعه باشند، تفاضل \(A\) از \(B\) به‌صورت \(A \setminus B\) تعریف می‌شود و شامل تمام اعضای \(A\) است که عضو \(B\) نیستند.

در این مقاله، تعریف دقیق تفاضل مجموعه‌ها، نمادگذاری، رابطه آن با اجتماع و اشتراک، ویژگی‌های مهم، تفاوت \(A \setminus B\) با \(B \setminus A\)، نمایش با نمودار ون و چند مثال حل‌شده بررسی می‌شود.

به طور کلی به کار بستن آزمون منطقی بودن (آ.م.ب) در یک جواب یعنی نگاه کردن به آن با توجه به اعدادی که عملیات روی آن ها انجام شده است و تعیین آن که آیا جواب " نسبتاً دقیق " است یا نه. به بیان ساده جواب را نگاه می کنید تا ببینید آیا به عقل جور در می آید. مثلاً اگر 10 درصد 75 دلار را 750 دلار درآورید (که اگر از ماشین حساب استفاده کنید و فراموش کنید دکمه ی درصد را فشار دهید همین عدد به دست می آید ) باید بلافاصله متوجه شوید که اشتباه بسیار بزرگی رخ داده است.