[BeetleB]

> but why does the presence of a mapping imply anything about the "size" of an infinity?

Merely by definition.