(Матан)Сформулируйте утверждение о том, что функция f: X -> R не имеет предела в точке x0 принадлежит X'

Найдется эпсилон > 0, такое что для всякого дельта > 0 найдется точка x из X' такая, что |f(x) - f(x0)| > эпсилон.

Присмотрись внимательно к вопросу - точка x0 из X' не обязана принадлежать области определения f (т.е. множеству X).
Рискну предположить, что X' - множество предельных точек множества X в R.

Тогда так:
a - предел функции f в точке x0 из X', если для любой окрестности U(a) точки a найдется проколотая окрестность U'(x0) точки x0 такая, что f(U'(x0) ∩ X) - подмножество U(a)
Строим отрицание.
a не является пределом функции f в точке x0 из X', если существует окрестность U(a) точки a, такая, что для любой проколотой окрестности U'(x0) точки x0 множество f(U'(x0) ∩ X) \ U(a) не пусто.
Обобщаем на все a из R:
Функция f не имеет предела в точке x0 из X', если для всякого a из R найдется окрестность U(a) точки a, такая, что для любой проколотой окрестности U'(x0) точки x0 множество f(U'(x0) ∩ X) \ U(a) не пусто.

PS. На языке эпсилон-дельта для функции действительной переменной:

Говорят, что функция f не имеет предела в предельной точке области определения x0,
если для всякого a из R найдется эпсилон(a) > 0, такое, что
для всякого дельта > 0 найдется x из X, такое, что
0 < |x - x0| < дельта и |f(x) - a| > эпсилон.

Че? Можно оригинальное оформление сего задания?