theorem Th20: :: ORDINAL4:20

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