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