:: deftheorem defines univariate POLYNOM7:def 2 :
for X being set
for b being bag of X holds
( b is univariate iff ex u being Element of X st support b = {u} );