洞石 学名叫石灰华〔Travertine〕，是一種石灰岩，常見於矿泉 ，特别是温泉沉积而成。 因生成時間較短 , 所以有在岩石中會保留很多小型氣泡 , 而得名。
洞石经常作为建筑材料使用。根據研究指出，以此洞石為原料之地磚若用於人行道，能讓城市降低淹水機率達50%。[1]
