The reduction of cross sections of hollow spaces by the pressure of rocks is called convergence, i. e. the attempt of rock to close hollow spaces.