>>653におけるV(x)がいわゆる全近傍系ですよね
でもφ≠S⊆V(x)なるSに対して「近傍系である」という言葉が用いられる時があります。
だから、Sにはどういう条件が要請されるのかというのが質問です。