:: deftheorem Def7 defines support PRE_POLY:def 7 :
for f being Function
for b₂ being set holds
( b₂ = support f iff for x being object holds
( x in b₂ iff f . x <> 0 ) );