متن زیر چه موضوعی را مورد بحث قرار داده است؟

متن: در ریاضیات، تفاضل متقارن دو مجموعه، مجموعه‌ای از اعضای آنهاست به گونه‌ای که آن اعضا در یکی از دو مجموعه هست و در اشتراک آن دو وجود ندارد. تفاضل متقارن دو مجموعه a و b، معمولا به صورت‌های زیر نمایش داده می‌شود: برای مثال، تفاضل متقارن دو مجموعه و می‌شود:. تفاضل متقارن مجموعه تمام دانش آموزان و مجموعه خانم‌ها، تمام دانش آموزان مرد و تمام خانم‌هایی که دانش‌آموز نیستند را شامل می‌شود. مجموعه توانی هر مجموعه با عملگر تفاضل متقارن، یک گروه آبلی را تشکیل می‌دهد؛ که مجموعه تهی عضو خنثی گروه و هر عضوی از این گروه، معکوس خودش است. 
موضوع:
تفاضل متقارن