for A being Ordinal
for B being infinite Cardinal st A in B holds
A +^ B = B