Il nome scientifico di una roccia lavica è "roccia ignea", che si forma attraverso il raffreddamento e la solidificazione del magma o della lava. Come spiegato da Geology.com, le rocce ignee sono classificate come extrusive o invadente.
Quando il flusso di lava viene espulso dalle bocche vulcaniche, si raffredda rapidamente per formare piccoli cristalli e trame a grana fine, caratteristiche delle rocce extrusive. Ossidiana e basalto sono esempi di roccia ignea extrusive. Carl Rod Nave della Georgia State University spiega che il raffreddamento del magma al di sotto della superficie terrestre è di solito molto più lento, quindi sono in grado di formare cristalli più grandi. Questi grandi cristalli ad incastro sono caratteristici della roccia ignea intrusiva, come il granito.