Является ли конечным множество семизначных натуральных чисел

Да, конечно.
Всего таких чисел 9*10^6, (ибо первая цифра не может быть 0, а все последующие могут быть любой цифрой.)