a+b and disjoint set