数学の代数学の分野において、ある(多元環あるいは群などのような)半群 "a" の部分集合 "s" の交換団(こうかんだん、)とは、"s" のすべての元と可換であるような "a" の元からなる部分集合、すなわち