Support of a multiset ($\mathrm{supp}(b)=\{x:b(x)>0\}$)

The set of keys with positive multiplicity. Its cardinality counts distinct keys, whereas summing the multiplicities counts all occurrences. A count-array implementation can maintain the support cardinality by tracking only zero-to-positive and positive-to-zero transitions.