for A being Ordinal st A <> {} holds
exp ({},A) = {}