:: deftheorem Def3 defines Support POLYNOM1:def 3 :
for S being ZeroStr
for f being the carrier of b₁ -valued Function
for b₃ being set holds
( b₃ = Support f iff for x being object holds
( x in b₃ iff ( x in dom f & f . x <> 0. S ) ) );