邻域系统

作为拓扑空间、locale和拓扑系统的推广,引入了邻域系统概念。证明了拓扑空间范畴、拓扑邻域系统范畴、locale式邻域系统范畴、拓扑系统范畴为邻域系统范畴的满子范畴。