如果点ζ的任何邻域内都既有属于集合A的点，也有不属于A的点，则称点ζ为A的一个边界点。A的所有边界点组成的集合称为A的边界。边界点是拓扑空间的基本概念之一。

拓扑空间是一种数学结构，可以在上头形式化地定义出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用，是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值，研究拓扑空间的数学分支称为拓扑学。