for X being non empty set
for b being non empty bag of X
for x being Element of X holds
( support b = {x} iff ( b = ({x},(b . x)) -bag & b . x <> 0 ) )