for A being Ordinal holds union A c= A