theorem Th22: :: SEQFUNC:23

for D being non empty set
for H being Functional_Sequence of D,REAL
for X, Y being set st Y c= X & Y <> {} & X common_on_dom H holds
Y common_on_dom H