矿洞是指储存各种矿石的洞穴。
矿石是指可从中提取有用组分或其本身具有某种可被利用的性能的矿物集合体。可分为金属矿物、非金属矿物。 矿石中有用成分(元素或矿物)的单位含量称为矿石品位,金、铂等贵金属矿石用克/吨表示,其他矿石常用百分数表示。