for X being Complex_Banach_Algebra
for s, s9 being sequence of X st s is convergent & s9 is convergent holds
s * s9 is convergent