theorem Th49: :: CLASSES2:49

for A being Ordinal holds Tarski-Class A is universal by CLASSES1:23;