Coproduct of sets is a set.