theorem Th42: :: ORDINAL6:42

for a being Ordinal
for U being Universe st a in U holds
for f being Ordinal-Sequence of a,U holds sup f in U