Гірничі виробки

порожнина в гірському масиві після виймання корисних копалин та інших порід