邻域是集合上的一种基础的拓扑结构。邻域公理是现代数学拓扑结构的基础概念，是定义拓扑的五套等价公理之一。这套公理直接定义了空间上的整套领域系，而非简单定义某个点的邻域。映射U即是将x映射至x邻域组成的集合。