this_program `|(ADT.Set other)
Union. Returns a set containing all elements present in either or both of the operand sets.