We claim that, under our definition, these sets have the same size, and that therefore B is countably infinite.
我们说，在我们的定义下，这些集合有相同的大小，并且因此B是无限可数集。