:: deftheorem Def1 defines Rat_Exp_Seq BASEL_1:def 1 :
for a, b, c, d being Complex
for b₅ being Complex_Sequence holds
( b₅ = Rat_Exp_Seq (a,b,c,d) iff for n being Nat holds b₅ . n = (Polynom (a,b,n)) / (Polynom (c,d,n)) );