lín yù jī · ㄌㄧㄣˊ ㄩˋ ㄐㄧ · 更新 2026-07-15 20:04:00
设 是一拓扑空间， ， ，是 的某些邻域所成的邻域簇，如果对 的任何邻域 ，必有 ，使得 ，那么称 是 的一个邻域基