theorem Th8: :: HILBASIS:8

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