:: deftheorem Def5 defines vars POLYNOM9:def 5 :
for X being set
for S being ZeroStr
for p being Series of X,S
for b₄ being Subset of X holds
( b₄ = vars p iff for x being object holds
( x in b₄ iff ex b being bag of X st
( b in Support p & b . x <> 0 ) ) );