:: deftheorem Def4 defines Support POLYNOM1:def 4 :
for X being non empty set
for S being non empty ZeroStr
for f being Function of X,S
for b₄ being Subset of X holds
( b₄ = Support f iff for x being Element of X holds
( x in b₄ iff f . x <> 0. S ) );