revenimiento (sustantivo masculino): Hundimiento del suelo de una mina.