A lava cave is any cave formed in volcanic rock, though it typically means caves formed by volcanic processes, which are more properly termed volcanic caves. Wikipedia