disjoint union

modified union operation that indexes the elements according to which set they originated in