"x" の部分集合 "s" に対して、"s" の近傍とは、"s" を含む開集合を含む集合 "v" をいう。