辞海

释义：dǐng xiàn
1. 矿顶的下沉或下陷。