theorem :: CARD_5:21

for a being Aleph holds union a = a by ORDINAL1:def 6;