for A being Ordinal holds union (succ A) = A