for X being set
for S being finite Subset of X
for n being Element of NAT st n <> 0 holds
support ((S,n) -bag) = S