Конечный безграничный я понимаю, с бесконечным ограниченным сложнее.
Ну должно же у астронома быть что-то, на что его коварство не распространяется.

Если формально - множество может содержать свою границу, а может и не содержать - это "конечный-безграничный". Соответственно, все пространство за вычетом открытого шара* будет бесконечным ограниченным. Неформально - вырезать можно хоть открытый шар, хоть закрытый - ограничение все равно есть, независимо от того, чей забор.
*
В зависимости от размерности пространства это может быть отрезок, круг или n-мерный шар. Нагляднее всего, конечно, отрезок. О размерности коварства мне известно мало, но принимать ее малой я бы не стал.
P.S. Я посмотрел в окно и вдруг вспомнил, что за забор мы с соседом платили поровну. Такого в теории множеств не предусмотрено.
