for A being finite Subset of SetPrimes st A = {} holds
A -bag = EmptyBag SetPrimes