Все еще не понятно, почему окрестность для +inf именно такая (для других бесконечностей тоже не понятно)?
Что такое окрестность положительной бесконечности в матанализе? Это краткая форма сказать про свойство, выполняющееся для всех интервалов, больших членов ряда натуральных чисел. Что такое эпсилон-окрестность для обычного числа? Это краткая форма сказать про свойство, выполняющееся для шаров вокруг заданного числа, ограниченных радиусом, обратным величинам членов ряда натуральных чисел (рассматриваемых как действительные числа). Любые подобные бесконечности - прямое следствие бесконечности ряда натуральных чисел. Замкнутого цикла определений избегают, формулируя утверждения про любые вложенные множества и любые подходящие последовательности без использования операции деления. Но всегда подразумевается какой-то бесконечный ряд окрестностей, пронумерованный, опять же, натуральными числами.