> любое конечное подмножество
Это, например, такие множества (являющиеся подмножествами отрезка [0; 1]): {0.25}; {0.5; 0.75}. Нетрудно видеть, что они оба конечные, но количество элементов в них не одинаковое.