:: deftheorem Def1 defines #Z TAYLOR_1:def 1 :
for q being Integer
for b₂ being Function of REAL,REAL holds
( b₂ = #Z q iff for x being Real holds b₂ . x = x #Z q );