点a的去心δ邻域:有时用到的邻域需要把邻域中心去掉,点a的δ邻域去掉中心a后,称为点a的去心δ邻域,记作(表达方法是在U上标一个小的0),即,这里表示。有时把
开区间(a - δ, a)称为a的左δ邻域,把开区间(a, a + δ)称为a的右δ邻域。
给定集合X,映射U:X→P(P(X))(其中P(P(X))是X的幂集的幂集),U将X中的点x映射到X的子集族U(x)),称U(x)是X的邻域系以及U(x)中的元素(即X的子集)为点x的邻域,当且仅当U满足以下的邻域公理:
邻域公理是现代数学拓扑结构的基础概念,是定义拓扑的五套等价公理之一。这套公理直接定义了空间上的整套邻域系,而非简单定义某个点的邻域。映射U即是将x
映射至x邻域组成的集合。