theorem Th7: :: ORDINAL3:7

for A being Ordinal holds On {A} = {A}