Так вот как объяснить и представить себе, что он является непустым множеством, если смотреть на него именно как на предел последовательности таких фигур?
Конкретно для ковра Серпинского вам уже написали, какие в точности точки остаются.
если присмотреться и записать координаты точек в троичной системе, видно, что вычёркиваются точки, имеющие 1 в
-й позиции в обеих координатах.
Надеюсь, это понятно?
То есть, можно очень конкретно описать точки, лежащие в пересечении (пределе) последовательности множеств.