theorem :: CLASSES1:14

for X, Y, Z being set
for A being Ordinal st A <> {} & A is limit_ordinal & Y in Tarski-Class (X,A) & ( Z c= Y or Z = bool Y ) holds
Z in Tarski-Class (X,A)