for p being Prime
for f being positive-yielding bag of Seg p holds dom f = support f