洞石 学名叫石灰华〔Travertine〕，是一种石灰岩，常见于矿泉 ，特别是温泉沉积而成。 因生成时间较短 , 所以有在岩石中会保留很多小型气泡 , 而得名。洞石经常作为建筑材料使用。根据研究指出，以此洞石为原料之地砖若用于人行道，能让城市降低淹水机率达50%。