Additive multiset union
= Additive multiset union
{title2=$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.