for n being Ordinal
for b being bag of n holds degree b = Sum (b * (SgmX ((RelIncl n),(support b))))