涵洞在数学里是指拓扑空间中一个开集的闭包包含于另一个开集中的现象。
这个现象在拓扑学、微积分和函数分析中都有应用。
简单来说,它描述了一个区域可以由包含它的更大区域逐渐缩小而得到。
涵盖了一个范围内的所有更小范围,使得这个范围上的函数能够向这些范围的函数扩展。