+ disjoint tree sets with path compression