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