theorem :: CLASSES4:89

for X being set holds sequence_univers X is Sequence