A-B:مجموعه ای است شامل تمام عضوهای مجموعهAکه در مجموعهB وجود ندارند یا به عبارتی دیگر'Aمنهای AاشتراکB'
B-A:مجموعه ای است شامل تمام عضوهای مجموعهBکه عضو مجموعهA نیستند یا به عبارتی'Bمنهای AاشتراکB'
تفاضل متقارن:مجموعه ای است شامل اجتماع دو مجموعهAوB منهای اشتراک این دو مجموعه یا به عبارتی'AمنهایB اجتماع BمنهایA' یا 'AاجتماعB منهای AاشتراکB'