for A, B being Ordinal st B <> {} holds
union (A +^ B) = A +^ (union B)