theorem Th54: :: MEASUR11:58

for X being non empty set
for F being without_-infty-valued FinSequence of Funcs (X,ExtREAL)
for n being Nat st n in dom F holds
(F /. n) " {-infty} = {}