an infinite neighborhood