地下洞室：在岩体内开挖出一定横断面形状和尺寸、并具有较大延伸长度的空间