disjoint union of graphs