for X being non empty set
for F being without_-infty-valued FinSequence of Funcs (X,ExtREAL) holds Partial_Sums F is without_-infty-valued