 Two sets are disjoint if their intersection is empty.    When one takes the union of two sets, say a and b,  it is sometimes a good idea to make sure that no element occurs in both sets.   The way to do this is to replace one or both of  a and b by copies. 