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. Sea caves, and other sorts of erosional and crevice caves, may be formed in volcanic rocks, but through non-volcanic processes and usually long after the volcanic rock was emplaced.