Nej, det stämmer inte. Differensen mellan {alla heltal} och {alla udda heltal} är {alla jämna heltal}. Alltså är {alla heltal} en uppenbart större mängd, även om bägge är oändliga.
Däremot är {en oändlighet} + 1 = {samma oändlighet}, vad jag förstått. Kravet för att de ska vara olika stora är att de går olika snabbt mot oändligheten.