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