for A being Ordinal
for W being set st W is Tarski & A in W holds
( succ A in W & A c= W )