theorem Th94: :: CLASSES4:94

( {} in rng sequence_univers & FinSETS in rng sequence_univers & SETS in rng sequence_univers )