neighborhood finite

Мат. окрестно конечный