for X being set
for S being finite Subset of X
for n being Element of NAT
for i being object st not i in S holds
((S,n) -bag) . i = 0