局部基

设 为一个拓扑向量空间，对于任意点 ，用 表示 在 中的所有邻域的集合。在 处的局部基是任何集合 ，对于 N_(x) 中的每个元素 ，都包含 的某个成员。

在点 处的局部基有时被称为该点邻域的局部基。