鉱柱

坑道の崩落を防ぐために、あえて採掘せずに残された岩盤を鉱柱と呼ぶ。

鉱柱の強度が不足していると判断され、急遽補強工事が行われた。

廃坑になった後も、巨大な鉱柱が地下空間を支え続けている。