Killer писал(а):
Насколько я знаю в определении счётного множества чётко написано, что оно должно быть БЕСконечным.
Определение не такое уж и общепринятое. Есть немало вопросов, для существа которых необходимо различать только более чем счётные от не более чем счётных множеств. Вот и договариваются в пределах таких рассмотрений объединять конечные и счётные множества под общим кратким названием "счётные" вместо длинного "не более чем счётные".
К данному вопросу это, разумеется, никоим образом не относится - здесь, как уже отмечено, термин счётный применён в том смысле, как Вы его понимаете.
