元素满足交换律，结合律，不可减，合并是 $O(1)$ 的。

维护一堆（可重）集合，支持：

• 合并两个集合

• 修改某个集合的某个元素

• 求某个集合内的元素和

单次操作不高于 $O(\log n)$，不能均摊。

平衡树显然满足