How can I subtract a multiset from a set with a given multiset?

Question

So I\'m trying to define a function apply :: "(\'a multiset ⇒ \'a option) ⇒ \'a multiset ⇒ \'a multiset"

It takes in a function C