theorem Th23: :: MEASURE8:23

for F, G being sequence of ExtREAL
for n being Nat st ( for m being Nat st m <= n holds
F . m <= G . m ) holds
(Ser F) . n <= (Ser G) . n