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