for x being epsilon-transitive set
for A being Ordinal st x c< A holds
x in A