Склепіння (гірництво)

одна з форм верхньої частини гірничої виробки та її кріплення.