theorem Th34: :: CLASSES1:34

for A being Ordinal holds union (Rank A) c= Rank A