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