That definition has some merit, but I'm not too keen on investigating each and every multiset subtraction if it breaks because of such a change. It's afterall not entirely rare to subtract with a simple multiset to remove the listed elements from the first one.