Definition:Set Coproduct