theorem Th46: :: CLASSES2:46

for U being Universe holds On U is Ordinal