proximal neighborhood

Мат. проксимальная окрестность