set theory - Dispensing with the notion of infinity for the sake of coverings

I don't quite know what you mean by "coverings of topology", but it is possible to formalize a notion of size for infinite sets which relies on the part-whole conception, rather than the bijective correspondence conception. These two views are mutually exclusive, in the sense that size for finite sets satisfies both properties, infinite sets can only support one of the two. But either choice can be made to work!

So, if you require the notion of size to equate two bijective sets, then the even numbers are equal in size to the natural numbers (this is the traditional Cantorian view). You could also take a mereological view, and say that one set is smaller than another if every element of the first set is a member of the second set. In this interpretation, the even numbers are smaller than the natural numbers.

A recent issue of the Review of Symbolic Logic had an article about these issues, including both some history of mathematics and more recent logical systems which formalize the mereological view. See Paolo Mancosu's "Measuring the Size of Infinite Collections of Natural Numbers: Was Cantor's Theory of Infinite Number Inevitable?"