The union of two sets