theorem Th19: :: CLASSES1:19

for X being set ex A being Ordinal st Tarski-Class (X,A) = Tarski-Class X