Additive multiset union ($c_{M\uplus N}(x)=c_M(x)+c_N(x)$)

The operation adding multiset multiplicities pointwise. Its result retains all occurrences from both operands. Some sources use the name multiset union instead for pointwise maximum, so a contract should state which operation is meant.