7. 涵洞是埋置于地层内的一种地下建筑物。