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} = {}