Канторово множество очевидно дискретно, так как состоит из дискретных элементов.
Да ну? В нём континуум элементов, их перечислить невозможно в принципе. Так же, как и числа на отрезке. И они там не изолированы ни в каком смысле, опять же. Оно не получается "добавлением дискретных элементов" при помощи какого-то алгоритма. Последовательных элементов в нём вы тоже не сможете предъявить. Там есть, конечно, точки вида
, после которых некоторый пробел, ну так и у отрезка есть два конца.
Если что, стандартное построение канторова множества — это пересечение последовательности из наборов отрезков, то есть по сути выкидывание кучи интервалов из отрезка. Это не задание множества уравнением (как прямой на плоскости) и не задание перечислением.