batu leleran batuan yang terbentuk dari lava yang telah membeku di atas permukaan tanah; batuan ekstrusif