Multiplicity function ($c_M:T\to {\mathbb{N}}_0$)

The function mapping each possible element to its multiset multiplicity. Finite multisets correspond to nonnegative functions with finite support of a multiset. A functional representation can answer queries without supporting enumeration of all elements.