指由于采矿的影响，在采空区上方的地表形成的凹地。