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