for A being Ordinal st A in 1 holds
A = {}