Управление кровлей
Технические мероприятия по поддержанию безопасного состояния подземных полостей в руднике или шахте, включающие в себя полные или частичные обрушения породы, ее плавное опускание либо закладку пустот.
(Термины российского архитектурного наследия. Плужников В.И., 1995)