 Multiset multiplicity

The number of occurrences of $x$ in a multiset $M$, always a nonnegative integer for ordinary finite multisets.