局部有限空间是给定空间中每个点都有一个邻里只满足任意的有限多个元素盖.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“局部有限空间。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/LocallyFiniteSpace.html
