theorem :: CLASSES1:35

for X being set
for A being Ordinal st X in Rank A holds
union X in Rank A