for X being non empty set
for x being Element of X holds support (UnitBag x) = {x}