:: deftheorem defines absolutely_summable CLVECT_3:def 7 :
for X being ComplexUnitarySpace
for seq being sequence of X holds
( seq is absolutely_summable iff ||.seq.|| is summable );