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