邻域系统基

点 的邻域系统的基是 的 开集 集合，使得 属于 的每个成员，并且任何包含 的 开集 也包含 的一个成员作为 子集。