theorem Th16: :: CLASSES1:16

for X being set
for A, B being Ordinal st A c= B holds
Tarski-Class (X,A) c= Tarski-Class (X,B)