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

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

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